1 * {margin: 0; padding: 0; border-width: 0;}
\r
2 body {margin: 8px; background-color: #e0ffff; font-color: black; font-family: serif; line-height: 133%; max-width: 1024px;}
\r
3 a:link {color: blue;}
\r
4 a:visited {color: darkmagenta;}
\r
5 a:hover {background-color: #a0ffff;}
\r
6 a:active {color: darkmagenta; position: relative; top: 1px; left: 1px;}
\r
7 abbr {border-width: 1px;}
\r
9 p {margin: 0 0 0.3em 1em;}
\r
10 em {font-style: normal; font-weight: bold; margin: 0 0.1em;}
\r
11 pre em {font-style: italic; font-weight: normal;}
\r
13 pre {margin: 0.5em 1em; padding: 0.5em; line-height: 1.2em; background-color: white;}
\r
14 tt {margin: 0 0.2em;}
\r
18 dt {font-family: monospace;}
\r
19 dl.par dt {margin: 0.5em 0 0 0 ; font-style: italic; }
\r
20 dl.ret dt {margin: 0.5em 0 0 0 ; font-weight: bold;}
\r
22 hr {border-width: 1px; margin: 1em;}
\r
23 div.abst {font-family: sans-serif;}
\r
24 div.para {clear: both; font-family: serif;}
\r
25 .equ {text-indent: 0; margin: 1em 2em 1em;}
\r
26 .indent {margin-left: 2em;}
\r
27 .rset {float: right; margin: 0 0 0.5em 0.5em;}
\r
28 .lset {float: left; margin: 0 0.5em 0.5em 0.5em;}
\r
29 ul.flat li {list-style-type: none; margin: 0;}
\r
30 a.imglnk img {border: 1px solid;}
\r
31 .iequ {white-space: nowrap; font-weight: bold;}
\r
33 .it {font-style: italic;}
\r
34 .mfd {font-size: 0.7em; padding: 0 1px; border: 1px solid; white-space : nowrap}
\r
36 h1 {line-height: 1em; font-size: 2em; font-family: sans-serif; padding: 0.3em 0 0.3em;}
\r
37 p.hdd {float: right; text-align: right; margin-top: 0.5em;}
\r
38 hr.hds {clear: both; margin-bottom: 1em;}
\r
40 h2 {font-size: 1.5em; font-family: sans-serif; margin: 0 0 0.5em;}
\r
41 h3 {font-size: 1.5em; font-family: sans-serif; margin: 1.5em 0 0.5em;}
\r
42 h4 {font-size: 1.2em; font-family: sans-serif; margin: 1em 0 0.2em;}
\r
43 h5 {font-size: 1em; font-family: sans-serif; margin: 0.5em 0 0em;}
\r
44 small {font-size: 80%;}
\r
45 .indent {margin-left: 2em;}
\r
48 table {margin: 0.5em 1em; border-collapse: collapse; border-style: solid; border-width: 2px; border-color: black; }
\r
49 th {background-color: white; border-style: solid; border-width: 1px 1px 2px; border-color: black; padding: 0 3px; vertical-align: top; white-space: nowrap;}
\r
50 td {background-color: white; border-style: solid; border-width: 1px; border-color: black; padding: 0 3px; vertical-align: top; line-height: 1.3em;}
\r
51 table.lst td:first-child {font-family: monospace;}
\r
52 table.lst2 td {font-family: monospace;}
\r
53 table caption {font-family: sans-serif; font-weight: bold;}
\r
54 tr.lst3 td { border-width: 2px 1px 1px; }
\r
56 p.foot {clear: both; text-indent: 0; margin: 1em 0.5em 1em;}
\r