trunk/html/style.css

body, DIV, P, UL, UL, LI, TABLE, TD, TR {
        font-family: verdana, arial, helvetica, sans-serif ;
        font-size: 10pt ; 
}

TT PRE {
        font-size: 10pt ;
        font-family: courier, courier new, monospace ;
}

SMALL { font-size: 8pt; }
BIG { font-size: 11pt; }
H1 { font-size: 15pt; }
H2 { font-size: 13pt; }


.results {
        color: #666;
}


.sort A:link, .sort A:visited {
        color: #666;
}

.sort_selected, .sort_selected A:link, .sort_selected A:visited {
        font-weight: bold;
}

.search_query {
        color: #666;
        font-size: 10pt ;
        font-family: courier, courier new, monospace ;
}


A, A:link, A:visited {
        color: #666;
        text-decoration: none;
}

A:hover, A:link:hover, A:link:visited {
        color: #666;
        text-decoration: underline;
}

A:active {
        color: #000;
        text-decoration: none;
}

TD.calendar {
        color: #999;
}

.notice {
        color: #999;
}

.headers {
        background: #eee;
        border: 0px;
        margin: 0px;
        padding: 3px;
}

.message {
        margin: 0px;
        padding: 3px;
}
1	body, DIV, P, UL, UL, LI, TABLE, TD, TR {
2	font-family: verdana, arial, helvetica, sans-serif ;
3	font-size: 10pt ;
4	}
5
6	TT PRE {
7	font-size: 10pt ;
8	font-family: courier, courier new, monospace ;
9	}
10
11	SMALL { font-size: 8pt; }
12	BIG { font-size: 11pt; }
13	H1 { font-size: 15pt; }
14	H2 { font-size: 13pt; }
15
16
17	.results {
18	color: #666;
19	}
20
21
22	.sort A:link, .sort A:visited {
23	color: #666;
24	}
25
26	.sort_selected, .sort_selected A:link, .sort_selected A:visited {
27	font-weight: bold;
28	}
29
30	.search_query {
31	color: #666;
32	font-size: 10pt ;
33	font-family: courier, courier new, monospace ;
34	}
35
36
37	A, A:link, A:visited {
38	color: #666;
39	text-decoration: none;
40	}
41
42	A:hover, A:link:hover, A:link:visited {
43	color: #666;
44	text-decoration: underline;
45	}
46
47	A:active {
48	color: #000;
49	text-decoration: none;
50	}
51
52	TD.calendar {
53	color: #999;
54	}
55
56	.notice {
57	color: #999;
58	}
59
60	.headers {
61	background: #eee;
62	border: 0px;
63	margin: 0px;
64	padding: 3px;
65	}
66
67	.message {
68	margin: 0px;
69	padding: 3px;
70	}