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;
40 font-family: Bitstream Vera Sans,Arial,Helvetica,sans-serif;
46 font-family: Bitstream Vera Sans,Arial,Helvetica,sans-serif;
52 font-family: Bitstream Vera Sans,Arial,Helvetica,sans-serif;
59 font-family: Bitstream Vera Sans,Arial,Helvetica,sans-serif;
66 font-family: Bitstream Vera Sans,Arial,Helvetica,sans-serif;
73 font-family: Bitstream Vera Sans,Arial,Helvetica,sans-serif;
80 font-family: Bitstream Vera Sans,Arial,Helvetica,sans-serif;
86 .room_banner_room_name {
87 font-family: Bitstream Vera Sans,Arial,Helvetica,sans-serif;
93 .room_banner_room_info {
94 font-family: Bitstream Vera Sans,Arial,Helvetica,sans-serif;
99 .room_banner_new_messages {
100 font-family: Bitstream Vera Sans,Arial,Helvetica,sans-serif;
105 .room_banner_start_page {
106 font-family: Bitstream Vera Sans,Arial,Helvetica,sans-serif;
113 background-color: #FF0000;
117 font-family: Bitstream Vera Sans,Arial,Helvetica,sans-serif;
122 font-family: Bitstream Vera Sans,Arial,Helvetica,sans-serif;
128 font-family: Bitstream Vera Sans,Arial,Helvetica,sans-serif;
135 font-family: Bitstream Vera Sans,Arial,Helvetica,sans-serif;
144 font-family: Bitstream Vera Sans,Arial,Helvetica,sans-serif;
186 ul ul, table ol, table ul, dl ol, dl ul {
202 table p, table dl, ol p, ul p, dl p, blockquote p, .note p, .note ul, .note ol, .note dl, li pre, dd pre {
215 border: thin ridge #dc143c
244 .example { margin-left: 10% }
251 var sub { font-style: normal }
275 text-decoration: none
281 text-decoration: none
287 text-decoration: none
290 .warning a:link, .warning a:visited, .warning a:active {
293 text-decoration: underline
296 .error a:link, .error a:visited, .error a:active {
299 text-decoration: underline
302 .error strong a:link, .error strong a:visited, .error strong a:active {
307 .warning strong a:link, .warning strong a:visited, .warning strong a:active {
312 colgroup.entity { text-align: center }
314 .default { text-decoration: underline; font-style: normal }
315 .required { font-weight: bold }
316 td li.transitional, .elements li.transitional {
317 font-weight: lighter;
322 td li.frameset, .elements li.frameset {
323 font-weight: lighter;
328 .footer, .checkedDocument {
331 border-top: solid thin black
336 text-transform: uppercase
340 input#toggler, .toolbar { display: none }