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;
        text-align: center;
}
#footer p {
        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;
}
#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: -10px 0px 0px -10px;
        padding: 0px;
        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.8
Committed:	Fri Jun 21 16:50:18 2013 UTC (11 years, 5 months ago) by tdb
Content type:	text/css
Branch:	MAIN
Changes since 1.7:	+2 -4 lines
Log Message:	Various website updates. The main change is the removal of RT email addresses.
#	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.6	text-align: center;
68	tdb	1.1	}
69			#footer p {
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			}
87			#contents h2 {
88			padding: 4px;
89			margin: 20px -10px 20px -10px;
90	tdb	1.2	background: #eeeeff;
91			color: #000000;
92	tdb	1.1	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	tdb	1.3	border-left: 2px solid #ff0000;
101	tdb	1.1	margin-left: 5px;
102			padding-left: 5px;
103	tdb	1.2	background: #f0f0f0;
104			color: #000000;
105	tdb	1.4	/font-size: larger;/
106	tdb	1.1	}
107			#topnav {
108	tdb	1.8	margin: -10px 0px 0px -10px;
109			padding: 0px;
110	tdb	1.2	background: transparent;
111			color: #000000;
112	tdb	1.1	}
113			#topnav ul {
114	tdb	1.4	padding-left: 0px;
115			margin-left: 0px;
116	tdb	1.1	display: inline;
117			}
118			#topnav li {
119			padding: 3px;
120			list-style: none;
121			display: inline;
122			}
123	tdb	1.4	#cvslog div {
124			border: 2px solid #000066;
125			margin: 15px 0px 15px 0px;
126			}
127			#cvslog div.logitemfirst {
128			margin: 0px;
129			padding: 5px 0px 5px 0px;
130			border: 0px;
131			}
132			#cvslog div.logitem {
133			margin: 0px;
134			padding: 5px 0px 5px 0px;
135			border: 0px;
136			border-top: 1px dashed #000066;
137			}
138			#cvslog h3 {
139			background: #000066;
140			color: #ffffff;
141			margin: 0px;
142			padding: 3px;
143			}
144			#cvslog a.cvsloghead {
145			color: #ffffff;
146			}
147			#cvslog p {
148			margin: 0px;
149			padding: 5px;
150			}
151			#cvslog pre {
152			padding: 5px;
153			margin: 10px;
154			}
155	tdb	1.1
156			/* All images have no border */
157			img {
158	tdb	1.4	border: 0px;
159	tdb	1.1	}
160
161			/* For when we want to hide something to CSS browsers */
162			.invisible {
163			display: none;
164			}