2 font-family: sans-serif;
10 div.c1 {text-align: center}
13 font-family: sans-serif;
20 font-family: Arial, Helvetica, sans-serif;
22 background-color: #FFF;
28 background-color: #000;
29 border: 0px solid #000;
30 border-collapse: collapse;
42 background-color: #DF0451;
44 border: 0px solid #DF0451;
45 vertical-align: middle;
57 background-color: #000;
58 border: 0px solid #000;
59 border-collapse: separate;
82 background-color: #FFF;
86 background-color: #FFFFFF;
90 background-color: #e8e8e8;
123 background-color: #BDF;
124 border: 0px solid #000;
126 padding-bottom: 10px;
135 background-color: #BDF;
136 border: 0px solid #000;
138 padding-bottom: 10px;
145 border: 0px solid #000;
153 text-decoration: none;
158 text-decoration: none;
163 text-decoration: none;
168 text-decoration: underline;
175 /************* NEW details pages ************/
177 /* this overides some overly general styles above */
178 #NEW-details-page th {
179 background-color: white;
182 #NEW-details-page table {
183 background-color: white;
187 #NEW-details-page a img {
188 text-decoration: none;
191 #NEW-details-page #logo {
193 margin-bottom: 1.5em;
195 #NEW-details-page #titleblock {
199 background-color: #DF0451;
202 margin-bottom: 1.5em;
204 #NEW-details-page #titleblock a {
206 text-decoration: none;
208 #NEW-details-page #titleblock a:hover {
210 text-decoration: underline;
212 #NEW-details-page #menu a:visited {
214 text-decoration: none;
216 #NEW-details-page #menu a:hover {
218 text-decoration: none;
220 #NEW-details-page #red-upperleft {
225 #NEW-details-page #red-lowerleft {
230 #NEW-details-page #red-upperright {
235 #NEW-details-page #red-lowerright {
240 #NEW-details-page #titleblock .title {
241 vertical-align: middle;
246 #NEW-details-page .toggle-msg {
251 #NEW-details-page #menu {
258 padding: 0.5em 0 0.5em 0.5em;
260 #NEW-details-page #menu p {
264 #NEW-details-page .infobox {
266 border: solid black 2px;
269 #NEW-details-page #menu .title,.infobox .title {
272 border-bottom: dashed 1px black;
275 #NEW-details-page .infobox .subtitle {
278 border-bottom: dashed 1px black;
281 #NEW-details-page table.infobox {
282 padding: 0 .5em 1em .5em;
284 #NEW-details-page div.infobody {
287 #NEW-details-page .rfc822 .key,#NEW-details-page .val {
288 font-family: monospace;
290 #NEW-details-page .rfc822 .key {
291 vertical-align: baseline;
293 #NEW-details-page .rfc822 .val {
295 #NEW-details-page .copyright .infobody {
296 font-family: monospace;
300 #NEW-details-page td pre {