www/styles/style.css

html {
        margin: 0;
        padding: 0;
}

body {
        background: white;
        color: black;
        font-family: sans-serif;
        font-size: small;
        margin: 0;
        padding: 0;
}

/* Contains the entire of the page */
#container {
        padding: 0px;
}

/* Contains the menu */
#menu {
        float: left;
        position: absolute;
        top: 0px;
        left: 0px;
        width: 150px;
        background: #eeeeFF;
        border-right: 1px solid #000066;
        border-bottom: 1px solid #000066;
}
#menu .cornerlogo {
        margin: -3px;
        margin-bottom: 1px;
}
#menu .heading {
        background: #000066;
        color: white;
        margin: 0px;
        padding: 3px;
}
#menu p {
        margin: 5px;
        padding: 5px 0 5px 0;
        text-align: center;
}
#menu .logo {
        margin: 0;
        text-align: center;
}

/* Contains the main page - including header and footer */
#main {
        margin-left: 151px;
        padding: 0px;
        position: relative;
}

/* Contains the header */
#header {
        padding: 0px;
        display: none;
}

/* Contains the footer */
#footer {
        padding: 60px 0 5px 0;
}
#footer p {
        text-align: center;
        font-size: x-small;
}

/* Contains the body text of the page */
#contents {
        padding: 0 15px 0 15px;
}
#contents .top {
        margin-top: 0px;
}
#contents h1 {
        padding: 5px;
        margin: 30px -15px 20px -15px;
        background-color: #eeeeff;
        border-bottom: 5px solid #000066;
        color: #000066;
        text-align: right;
}
#contents h2 {
        padding: 4px;
        margin: 20px -10px 20px -10px;
        background-color: #eeeeff;
        border-bottom: 2px solid #000066;
}
#contents h3 {
        padding-top: 5px;
        margin: 10px -5px 10px -5px;
        border-bottom: 1px solid #000066;
}
#contents pre {
        border-left: 2px solid red;
        margin-left: 5px;
        padding-left: 5px;
        background-color: #f0f0f0;
        font-size: larger;
}
#topnav {
        margin: -15px -10px 0 0;
        padding: 0px;
        text-align: right;
        background-color: transparent;
}
#topnav ul {
        padding-left: 0;
        margin-left: 0;
        display: inline;
}
#topnav li {
        padding: 3px;
        list-style: none;
        display: inline;
}

/* All images have no border */
img {
        border: 0;
}

/* For when we want to hide something to CSS browsers */
.invisible {
        display: none;
}
Revision:	1.1
Committed:	Sun Mar 21 23:58:53 2004 UTC (20 years, 8 months ago) by tdb
Content type:	text/css
Branch:	MAIN
Log Message:	Commit new website. The old site is tagged, so this won't change the live site... but it does move HEAD on to the new site. Too many changes to list really. General points are: - Moved to a XHTML CSS compliant site. - Reorganised the site into a more multi-project based look. - Removed a lot of cruft. Still to do: - Fix all the zillions of bugs stopping the whole site from validating :-) - Tidy up the HTML in terms of layout and indentation. Thanks to AJ for his help this weekend in doing this.
#	Content
1	html {
2	margin: 0;
3	padding: 0;
4	}
5
6	body {
7	background: white;
8	color: black;
9	font-family: sans-serif;
10	font-size: small;
11	margin: 0;
12	padding: 0;
13	}
14
15	/* Contains the entire of the page */
16	#container {
17	padding: 0px;
18	}
19
20	/* Contains the menu */
21	#menu {
22	float: left;
23	position: absolute;
24	top: 0px;
25	left: 0px;
26	width: 150px;
27	background: #eeeeFF;
28	border-right: 1px solid #000066;
29	border-bottom: 1px solid #000066;
30	}
31	#menu .cornerlogo {
32	margin: -3px;
33	margin-bottom: 1px;
34	}
35	#menu .heading {
36	background: #000066;
37	color: white;
38	margin: 0px;
39	padding: 3px;
40	}
41	#menu p {
42	margin: 5px;
43	padding: 5px 0 5px 0;
44	text-align: center;
45	}
46	#menu .logo {
47	margin: 0;
48	text-align: center;
49	}
50
51	/* Contains the main page - including header and footer */
52	#main {
53	margin-left: 151px;
54	padding: 0px;
55	position: relative;
56	}
57
58	/* Contains the header */
59	#header {
60	padding: 0px;
61	display: none;
62	}
63
64	/* Contains the footer */
65	#footer {
66	padding: 60px 0 5px 0;
67	}
68	#footer p {
69	text-align: center;
70	font-size: x-small;
71	}
72
73	/* Contains the body text of the page */
74	#contents {
75	padding: 0 15px 0 15px;
76	}
77	#contents .top {
78	margin-top: 0px;
79	}
80	#contents h1 {
81	padding: 5px;
82	margin: 30px -15px 20px -15px;
83	background-color: #eeeeff;
84	border-bottom: 5px solid #000066;
85	color: #000066;
86	text-align: right;
87	}
88	#contents h2 {
89	padding: 4px;
90	margin: 20px -10px 20px -10px;
91	background-color: #eeeeff;
92	border-bottom: 2px solid #000066;
93	}
94	#contents h3 {
95	padding-top: 5px;
96	margin: 10px -5px 10px -5px;
97	border-bottom: 1px solid #000066;
98	}
99	#contents pre {
100	border-left: 2px solid red;
101	margin-left: 5px;
102	padding-left: 5px;
103	background-color: #f0f0f0;
104	font-size: larger;
105	}
106	#topnav {
107	margin: -15px -10px 0 0;
108	padding: 0px;
109	text-align: right;
110	background-color: transparent;
111	}
112	#topnav ul {
113	padding-left: 0;
114	margin-left: 0;
115	display: inline;
116	}
117	#topnav li {
118	padding: 3px;
119	list-style: none;
120	display: inline;
121	}
122
123	/* All images have no border */
124	img {
125	border: 0;
126	}
127
128	/* For when we want to hide something to CSS browsers */
129	.invisible {
130	display: none;
131	}