1 html { min-width: 40em;
7 body { text-align: justify;
8 font-family: Helvetica,Arial,sans-serif;
12 p,ul,table { margin-left: 3em; }
14 p.head, p.foot { margin-left: 0.0em; margin-right: 0.0em; }
16 p.news { margin-left: 2.0em; }
18 li { margin: 0.25em; }
20 h1 { font-size: 110%; }
21 h2 { font-size: 105%; margin-left: 1.5em }
23 p.head { margin-bottom: 1.75em;
24 border-bottom: 1px solid #dddddd;
25 padding-bottom: 0.2em; }
27 p.foot { border-top: 1px solid #dddddd;
32 span.nm { color: green; }
34 span.file { font-style: italic; }
36 span.attn { font-weight: bold; }
38 span.flag { font-weight: bold; }
40 a { text-decoration: none; }
42 a.external { background: transparent url(external.png) center right no-repeat;
43 padding-right: 12px; }