www/styles/style.css

html,body {
        background: #ffffff;
        color: #000000;
        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;
        color: #000000;
        border-right: 1px solid #000066;
        border-bottom: 1px solid #000066;
}
#menu .cornerlogo {
        margin: -3px;
        margin-bottom: 1px;
}
#menu .heading {
        background: #000066;
        color: #ffffff;
        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: #eeeeff;
        border-bottom: 5px solid #000066;
        color: #000066;
        text-align: right;
}
#contents h2 {
        padding: 4px;
        margin: 20px -10px 20px -10px;
        background: #eeeeff;
        color: #000000;
        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 #ff0000;
        margin-left: 5px;
        padding-left: 5px;
        background: #f0f0f0;
        color: #000000;
        font-size: larger;
}
#topnav {
        margin: -15px -10px 0 0;
        padding: 0px;
        text-align: right;
        background: transparent;
        color: #000000;
}
#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.3
Committed:	Tue Mar 23 23:43:39 2004 UTC (20 years, 1 month ago) by tdb
Content type:	text/css
Branch:	MAIN
Changes since 1.2:	+1 -1 lines
Log Message:	Another biggish commit. All pages are now XHTML 1.1 compliant. I've also tided (with the help of the tidy tool) all the pages, so they're neater. There are still parts of the site that won't validate - such as the CGI scripts, and the CVS stuff - but I'll get to them tomorrow.
#	Content
1	html,body {
2	background: #ffffff;
3	color: #000000;
4	font-family: sans-serif;
5	font-size: small;
6	margin: 0;
7	padding: 0;
8	}
9
10	/* Contains the entire of the page */
11	#container {
12	padding: 0px;
13	}
14
15	/* Contains the menu */
16	#menu {
17	float: left;
18	position: absolute;
19	top: 0px;
20	left: 0px;
21	width: 150px;
22	background: #eeeeFF;
23	color: #000000;
24	border-right: 1px solid #000066;
25	border-bottom: 1px solid #000066;
26	}
27	#menu .cornerlogo {
28	margin: -3px;
29	margin-bottom: 1px;
30	}
31	#menu .heading {
32	background: #000066;
33	color: #ffffff;
34	margin: 0px;
35	padding: 3px;
36	}
37	#menu p {
38	margin: 5px;
39	padding: 5px 0 5px 0;
40	text-align: center;
41	}
42	#menu .logo {
43	margin: 0;
44	text-align: center;
45	}
46
47	/* Contains the main page - including header and footer */
48	#main {
49	margin-left: 151px;
50	padding: 0px;
51	position: relative;
52	}
53
54	/* Contains the header */
55	#header {
56	padding: 0px;
57	display: none;
58	}
59
60	/* Contains the footer */
61	#footer {
62	padding: 60px 0 5px 0;
63	}
64	#footer p {
65	text-align: center;
66	font-size: x-small;
67	}
68
69	/* Contains the body text of the page */
70	#contents {
71	padding: 0 15px 0 15px;
72	}
73	#contents .top {
74	margin-top: 0px;
75	}
76	#contents h1 {
77	padding: 5px;
78	margin: 30px -15px 20px -15px;
79	background: #eeeeff;
80	border-bottom: 5px solid #000066;
81	color: #000066;
82	text-align: right;
83	}
84	#contents h2 {
85	padding: 4px;
86	margin: 20px -10px 20px -10px;
87	background: #eeeeff;
88	color: #000000;
89	border-bottom: 2px solid #000066;
90	}
91	#contents h3 {
92	padding-top: 5px;
93	margin: 10px -5px 10px -5px;
94	border-bottom: 1px solid #000066;
95	}
96	#contents pre {
97	border-left: 2px solid #ff0000;
98	margin-left: 5px;
99	padding-left: 5px;
100	background: #f0f0f0;
101	color: #000000;
102	font-size: larger;
103	}
104	#topnav {
105	margin: -15px -10px 0 0;
106	padding: 0px;
107	text-align: right;
108	background: transparent;
109	color: #000000;
110	}
111	#topnav ul {
112	padding-left: 0;
113	margin-left: 0;
114	display: inline;
115	}
116	#topnav li {
117	padding: 3px;
118	list-style: none;
119	display: inline;
120	}
121
122	/* All images have no border */
123	img {
124	border: 0;
125	}
126
127	/* For when we want to hide something to CSS browsers */
128	.invisible {
129	display: none;
130	}