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;
157 ul ul, table ol, table ul, dl ol, dl ul {
173 table p, table dl, ol p, ul p, dl p, blockquote p, .note p, .note ul, .note ol, .note dl, li pre, dd pre {
186 border: thin ridge #dc143c
215 .example { margin-left: 10% }
222 var sub { font-style: normal }
232 font-family: Kids, "Comic Sans MS", Jester
236 font-family: Jester, "Comic Sans MS"
260 text-decoration: none
266 text-decoration: none
272 text-decoration: none
278 text-decoration: none
281 .warning a:link, .warning a:visited, .warning a:active {
284 text-decoration: underline
287 .error a:link, .error a:visited, .error a:active {
290 text-decoration: underline
293 .error strong a:link, .error strong a:visited, .error strong a:active {
298 .warning strong a:link, .warning strong a:visited, .warning strong a:active {
303 colgroup.entity { text-align: center }
305 .default { text-decoration: underline; font-style: normal }
306 .required { font-weight: bold }
307 td li.transitional, .elements li.transitional {
308 font-weight: lighter;
313 td li.frameset, .elements li.frameset {
314 font-weight: lighter;
319 .footer, .checkedDocument {
322 border-top: solid thin black
327 text-transform: uppercase
331 input#toggler, .toolbar { display: none }