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