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, 1 month 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.
#	User	Rev	Content
1	tdb	1.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			}