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	dpavlin	25	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	dpavlin	27	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			}