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 p {
        margin: 5px;
        padding: 5px 0px 5px 0px;
        text-align: center;
}
#menu .logo {
        margin: 0px;
        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 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.4
Committed:	Wed Mar 24 21:34:26 2004 UTC (20 years, 7 months ago) by tdb
Content type:	text/css
Branch:	MAIN
Changes since 1.3:	+43 -11 lines
Log Message:	Add all the style information for the cvslog pages. Minor syntatical tidyups. Make pre text "normal" size again.
#	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			#menu p {
38			margin: 5px;
39	tdb	1.4	padding: 5px 0px 5px 0px;
40	tdb	1.1	text-align: center;
41			}
42			#menu .logo {
43	tdb	1.4	margin: 0px;
44	tdb	1.1	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	tdb	1.4	padding: 60px 0px 5px 0px;
63	tdb	1.1	}
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	tdb	1.4	padding: 0px 15px 0px 15px;
72	tdb	1.1	}
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.4	/font-size: larger;/
103	tdb	1.1	}
104			#topnav {
105	tdb	1.4	margin: -15px -10px 0px 0px;
106	tdb	1.1	padding: 0px;
107			text-align: right;
108	tdb	1.2	background: transparent;
109			color: #000000;
110	tdb	1.1	}
111			#topnav ul {
112	tdb	1.4	padding-left: 0px;
113			margin-left: 0px;
114	tdb	1.1	display: inline;
115			}
116			#topnav li {
117			padding: 3px;
118			list-style: none;
119			display: inline;
120			}
121	tdb	1.4	#cvslog div {
122			border: 2px solid #000066;
123			margin: 15px 0px 15px 0px;
124			}
125			#cvslog div.logitemfirst {
126			margin: 0px;
127			padding: 5px 0px 5px 0px;
128			border: 0px;
129			}
130			#cvslog div.logitem {
131			margin: 0px;
132			padding: 5px 0px 5px 0px;
133			border: 0px;
134			border-top: 1px dashed #000066;
135			}
136			#cvslog h3 {
137			background: #000066;
138			color: #ffffff;
139			margin: 0px;
140			padding: 3px;
141			}
142			#cvslog a.cvsloghead {
143			color: #ffffff;
144			}
145			#cvslog p {
146			margin: 0px;
147			padding: 5px;
148			}
149			#cvslog pre {
150			padding: 5px;
151			margin: 10px;
152			}
153	tdb	1.1
154			/* All images have no border */
155			img {
156	tdb	1.4	border: 0px;
157	tdb	1.1	}
158
159			/* For when we want to hide something to CSS browsers */
160			.invisible {
161			display: none;
162			}