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, 7 months 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.
#	User	Rev	Content
1	tdb	1.2	html,body {
2			background: #ffffff;
3			color: #000000;
4	tdb	1.1	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	tdb	1.2	color: #000000;
24	tdb	1.1	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	tdb	1.2	color: #ffffff;
34	tdb	1.1	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	tdb	1.2	background: #eeeeff;
80	tdb	1.1	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	tdb	1.2	background: #eeeeff;
88			color: #000000;
89	tdb	1.1	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	tdb	1.3	border-left: 2px solid #ff0000;
98	tdb	1.1	margin-left: 5px;
99			padding-left: 5px;
100	tdb	1.2	background: #f0f0f0;
101			color: #000000;
102	tdb	1.1	font-size: larger;
103			}
104			#topnav {
105			margin: -15px -10px 0 0;
106			padding: 0px;
107			text-align: right;
108	tdb	1.2	background: transparent;
109			color: #000000;
110	tdb	1.1	}
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			}