13 text-decoration: none;
17 font-family: Bitstream Vera Sans,Arial,Helvetica,sans-serif;
22 font-family: Bitstream Vera Sans,Arial,Helvetica,sans-serif;
27 font-family: Bitstream Vera Sans,Arial,Helvetica,sans-serif;
33 font-family: Bitstream Vera Sans,Arial,Helvetica,sans-serif;
39 font-family: Bitstream Vera Sans,Arial,Helvetica,sans-serif;
46 font-family: Bitstream Vera Sans,Arial,Helvetica,sans-serif;
53 font-family: Bitstream Vera Sans,Arial,Helvetica,sans-serif;
60 font-family: Bitstream Vera Sans,Arial,Helvetica,sans-serif;
67 font-family: Bitstream Vera Sans,Arial,Helvetica,sans-serif;
73 .room_banner_room_name {
74 font-family: Bitstream Vera Sans,Arial,Helvetica,sans-serif;
80 .room_banner_room_info {
81 font-family: Bitstream Vera Sans,Arial,Helvetica,sans-serif;
86 .room_banner_new_messages {
87 font-family: Bitstream Vera Sans,Arial,Helvetica,sans-serif;
92 .room_banner_start_page {
93 font-family: Bitstream Vera Sans,Arial,Helvetica,sans-serif;
100 background-color: #FF0000;
104 font-family: Bitstream Vera Sans,Arial,Helvetica,sans-serif;
109 font-family: Bitstream Vera Sans,Arial,Helvetica,sans-serif;
116 <!-- background-image: url("/image&name=background"); -->
158 ul ul, table ol, table ul, dl ol, dl ul {
174 table p, table dl, ol p, ul p, dl p, blockquote p, .note p, .note ul, .note ol, .note dl, li pre, dd pre {
187 border: thin ridge #dc143c
216 .example { margin-left: 10% }
223 var sub { font-style: normal }
233 font-family: Kids, "Comic Sans MS", Jester
237 font-family: Jester, "Comic Sans MS"
261 text-decoration: none
267 text-decoration: none
273 text-decoration: none
279 text-decoration: none
282 .warning a:link, .warning a:visited, .warning a:active {
285 text-decoration: underline
288 .error a:link, .error a:visited, .error a:active {
291 text-decoration: underline
294 .error strong a:link, .error strong a:visited, .error strong a:active {
299 .warning strong a:link, .warning strong a:visited, .warning strong a:active {
304 colgroup.entity { text-align: center }
306 .default { text-decoration: underline; font-style: normal }
307 .required { font-weight: bold }
308 td li.transitional, .elements li.transitional {
309 font-weight: lighter;
314 td li.frameset, .elements li.frameset {
315 font-weight: lighter;
320 .footer, .checkedDocument {
323 border-top: solid thin black
328 text-transform: uppercase
332 input#toggler, .toolbar { display: none }