19 font-family: sans-serif;
44 a:link:active, a:link:visited {
48 a:link:hover, a:visited:hover {
54 font-family: sans-serif;
56 text-decoration: underline;
60 a.submitter:visited, a.submitter:active {
62 font-family: sans-serif;
66 a.submitter:hover, a.submitter:visited:hover {
68 font-family: sans-serif;
73 font-family: monospace;
92 font-family: sans-serif;
95 background-color: #f0f0f0;
97 border: #a7a7a7 1px solid;
102 font-family: monospace;
108 font-family: sans-serif;
127 font-family: sans-serif;
131 font-family: sans-serif;
136 font-family: sans-serif;
137 background-color: #f0f0f0;
139 border: #a7a7a7 1px solid;
143 a.options:link, a.options:visited {
144 font-family: sans-serif;
145 background-color: #f0f0f0;
147 text-decoration: none;
148 border-bottom: #3c3c3c 1px dotted;
152 list-style-type: square;
160 border: #000 1px solid;
166 font-family: sans-serif;
172 border: #000 1px solid;