1  * {margin: 0; padding: 0; border-width: 0;}
 2  body {margin: 8px; background-color: #e0ffff; font-color: black; font-family: serif; line-height: 133%; max-width: 1024px;}
 3  a:link {color: blue;}
 4  a:visited {color: darkmagenta;}
 5  a:hover {background-color: #a0ffff;}
 6  a:active {color: darkmagenta; overflow: hidden; outline:none; position: relative; top: 1px; left: 1px;}
 7  abbr {border-width: 1px;}
 8  
 9  p {margin: 0 0 0.3em 1em;}
10  i {margin: 0 0.3em 0 0;}
11  b {margin: 0 0.1em;}
12  em {font-style: normal; font-weight: bold; margin: 0 0.1em;}
13  strong {}
14  pre {border: 1px dashed gray; margin: 0.5em 1em; padding: 0.5em; line-height: 1.2em; font-size: 85%; font-family: "Consolas", "Courier New", monospace; background-color: white;}
15  pre span.c {color: green;}
16  pre span.k {color: blue;}
17  pre span.b {font-weight: bold;}
18  pre span.arg {font-style: italic;}
19  tt {margin: 0 0.2em; font-size: 0.85em; font-family: "Consolas", "Courier New", monospace; }
20  tt.arg {font-style: italic;}
21  ol {margin: 0.5em 2.5em;}
22  ul {margin: 0.5em 2em;}
23  ul ul {margin: 0 2em 0.5em 1em;}
24  dl {margin: 0.5em 1em;}
25  dd {margin: 0 2em;}
26  dt {font-size: 0.85em; font-family: "Consolas", "Courier New", monospace;}
27  dl.par dt {margin: 0.5em 0 0 0 ; font-style: italic; }
28  dl.ret dt {margin: 0.5em 0 0 0 ; font-size: 0.85em; font-family: "Consolas", "Courier New", monospace; font-weight: bold; }
29  hr {border-width: 1px; margin: 1em;}
30  div.abst {font-family: sans-serif;}
31  div.para {clear: both; font-family: serif;}
32  div.ret a {font-size: 0.85em; font-family: "Consolas", "Courier New", monospace; }
33  .equ {text-indent: 0; margin: 1em 2em 1em;}
34  .indent {margin-left: 2em;}
35  .rset {float: right; margin: 0.3em 0 0.5em 0.5em;}
36  .lset {float: left; margin: 0.3em 0.5em 0.5em 0.5em;}
37  ul.flat li {list-style-type: none; margin: 0;}
38  a.imglnk img {border: 1px solid;}
39  .iequ {white-space: nowrap; font-weight: bold;}
40  .clr {clear: both;}
41  .it {font-style: italic;}
42  .mfd {font-size: 0.7em; padding: 0 1px; border: 1px solid; white-space : nowrap}
43  .ral {text-align: right; }
44  .lal {text-align: left; }
45  .cal {text-align: center; }
46  
47  h1 {line-height: 1em; font-size: 2em; font-family: sans-serif; padding: 0.3em 0 0.3em;}
48  h2 {font-size: 2em; font-family: sans-serif; background-color: #d8d8FF; padding: 0.5em 0.5em; margin: 0 0 0.5em;}
49  h3 {font-size: 1.5em; font-family: sans-serif; margin: 1.5em 0 0.5em;}
50  div.doc h3 {border-color: #b0d8d8; border-style: solid; border-width: 0px 0px 4px 12px; padding: 4px; margin-top: 3em;}
51  h4 {font-size: 1.2em; font-family: sans-serif; margin: 2em 0 0.2em;}
52  h5 {font-size: 1em; font-family: sans-serif; margin: 1em 0 0em;}
53  p.hdd {float: right; text-align: right; margin-top: 0.5em;}
54  hr.hds {clear: both; margin-bottom: 1em;}
55  kbd {letter-spacing: 0;}
56  small {font-size: 80%;}
57  .indent {margin-left: 2em;}
58  
59  /* Tables */
60  table {margin: 0.5em 1em; border-collapse: collapse; border: 2px solid black; }
61  th {background-color: white; border-style: solid; border-width: 1px 1px 2px; border-color: black; padding: 0 3px; vertical-align: top; white-space: nowrap;}
62  td {background-color: white; border: 1px solid black; padding: 0 3px; vertical-align: top; line-height: 1.3em;}
63  table.lst td:first-child {font-size: 0.85em; font-family: "Consolas", "Courier New", monospace; white-space: nowrap;}
64  table.lst2 td {font-size: 0.85em; font-family: "Consolas", "Courier New", monospace; white-space: nowrap;}
65  table.lst3 td {font-family: "Consolas", "Courier New", monospace; white-space: nowrap;}
66  table caption {font-family: sans-serif; font-weight: bold;}
67  tr.lst3 td { border-width: 2px 1px 1px; }
68  
69  p.foot {clear: both; text-indent: 0; margin: 1em 0.5em 1em;}