www/styles/style.css

html,body {
        background: #ffffff;
        color: #000000;
        font-family: sans-serif;
        font-size: small;
        margin: 0px;
        padding: 0px;
}

/* 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 .logo {
        margin: 10px 0px 10px 0px;
        text-align: center;
}
#menu .logo img {
        margin-top: 5px;
}
#menu ul {
        margin: 5px;
        padding: 5px 0px 5px 0px;
        text-align: center;
        list-style: none;
}       

/* 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 0px 5px 0px;
}
#footer p {
        text-align: center;
        font-size: x-small;
}

/* Contains the body text of the page */
#contents {
        padding: 0px 15px 0px 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 0px 0px;
        padding: 0px;
        text-align: right;
        background: transparent;
        color: #000000;
}
#topnav ul {
        padding-left: 0px;
        margin-left: 0px;
        display: inline;
}
#topnav li {
        padding: 3px;
        list-style: none;
        display: inline;
}
#cvslog div {
        border: 2px solid #000066;
        margin: 15px 0px 15px 0px;
}
#cvslog div.logitemfirst {
        margin: 0px;
        padding: 5px 0px 5px 0px;
        border: 0px;
}
#cvslog div.logitem {
        margin: 0px;
        padding: 5px 0px 5px 0px;
        border: 0px;
        border-top: 1px dashed #000066;
}
#cvslog h3 {
        background: #000066;
        color: #ffffff;
        margin: 0px;
        padding: 3px;
}
#cvslog a.cvsloghead {
        color: #ffffff;
}
#cvslog p {
        margin: 0px;
        padding: 5px;
}
#cvslog pre {
        padding: 5px;
        margin: 10px;
}

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

/* For when we want to hide something to CSS browsers */
.invisible {
        display: none;
}
Revision:	1.5
Committed:	Wed Mar 24 23:16:19 2004 UTC (20 years, 1 month ago) by tdb
Content type:	text/css
Branch:	MAIN
Changes since 1.4:	+10 -6 lines
Log Message:	Pretty much the last set of changes I'm going to make: - Make top-left image more friendly to caches by randomising the URL, rather than having the URL point to a CGI that returns a random image. - Change the whole left side bar to use lists for the links, as they should be, rather than lines of text seperated by <br>'s. - Add valid XHTML and CSS logos, because we now comply.
#	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	tdb	1.4	margin: 0px;
7			padding: 0px;
8	tdb	1.1	}
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	tdb	1.5	#menu .logo {
38			margin: 10px 0px 10px 0px;
39	tdb	1.1	text-align: center;
40			}
41	tdb	1.5	#menu .logo img {
42			margin-top: 5px;
43			}
44			#menu ul {
45			margin: 5px;
46			padding: 5px 0px 5px 0px;
47	tdb	1.1	text-align: center;
48	tdb	1.5	list-style: none;
49			}
50	tdb	1.1
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	tdb	1.4	padding: 60px 0px 5px 0px;
67	tdb	1.1	}
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	tdb	1.4	padding: 0px 15px 0px 15px;
76	tdb	1.1	}
77			#contents .top {
78			margin-top: 0px;
79			}
80			#contents h1 {
81			padding: 5px;
82			margin: 30px -15px 20px -15px;
83	tdb	1.2	background: #eeeeff;
84	tdb	1.1	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	tdb	1.2	background: #eeeeff;
92			color: #000000;
93	tdb	1.1	border-bottom: 2px solid #000066;
94			}
95			#contents h3 {
96			padding-top: 5px;
97			margin: 10px -5px 10px -5px;
98			border-bottom: 1px solid #000066;
99			}
100			#contents pre {
101	tdb	1.3	border-left: 2px solid #ff0000;
102	tdb	1.1	margin-left: 5px;
103			padding-left: 5px;
104	tdb	1.2	background: #f0f0f0;
105			color: #000000;
106	tdb	1.4	/font-size: larger;/
107	tdb	1.1	}
108			#topnav {
109	tdb	1.4	margin: -15px -10px 0px 0px;
110	tdb	1.1	padding: 0px;
111			text-align: right;
112	tdb	1.2	background: transparent;
113			color: #000000;
114	tdb	1.1	}
115			#topnav ul {
116	tdb	1.4	padding-left: 0px;
117			margin-left: 0px;
118	tdb	1.1	display: inline;
119			}
120			#topnav li {
121			padding: 3px;
122			list-style: none;
123			display: inline;
124			}
125	tdb	1.4	#cvslog div {
126			border: 2px solid #000066;
127			margin: 15px 0px 15px 0px;
128			}
129			#cvslog div.logitemfirst {
130			margin: 0px;
131			padding: 5px 0px 5px 0px;
132			border: 0px;
133			}
134			#cvslog div.logitem {
135			margin: 0px;
136			padding: 5px 0px 5px 0px;
137			border: 0px;
138			border-top: 1px dashed #000066;
139			}
140			#cvslog h3 {
141			background: #000066;
142			color: #ffffff;
143			margin: 0px;
144			padding: 3px;
145			}
146			#cvslog a.cvsloghead {
147			color: #ffffff;
148			}
149			#cvslog p {
150			margin: 0px;
151			padding: 5px;
152			}
153			#cvslog pre {
154			padding: 5px;
155			margin: 10px;
156			}
157	tdb	1.1
158			/* All images have no border */
159			img {
160	tdb	1.4	border: 0px;
161	tdb	1.1	}
162
163			/* For when we want to hide something to CSS browsers */
164			.invisible {
165			display: none;
166			}