1
2body {
3  margin: 2em 1em 2em 150px;
4  font-family: Arial, Helvetica, sans-serif;
5  color: black;
6  background: #ddeeff;
7  background-position: top left;
8  background-attachment: fixed;
9  background-repeat: no-repeat;
10}
11:link { color: #00C; background: transparent }
12:visited { color: #609; background: transparent }
13:active { color: #C00; background: transparent }
14
15th, li, td { /* ns 4 */
16	    font-family: Arial, Helvetica, sans-serif;
17	    font-size: 10pt;
18	    font-weight: normal;
19	    color: black;
20}
21
22h1, h2, h3, h4, h5, h6 { text-align: left }
23/* background should be transparent, but WebTV has a bug */
24/* h1, h2, h3 { color: #005A9C; background: white } */
25h1 { color: #FF0080; font-weight: bold; font-size: 400% }
26h2 { font: 140% sans-serif }
27h3 { font: 120% sans-serif }
28h4 { font: bold 100% sans-serif }
29h5 { font: italic 100% sans-serif }
30h6 { font: small-caps 100% sans-serif }
31
32.hide { display: none }
33
34div.head { margin-bottom: 1em }
35div.head h1 { margin-top: 2em; clear: both }
36div.head table { margin-left: 2em; margin-top: 2em }
37div.head img { color: white; border: none } /* remove border from top image */
38
39p.subhead { font-weight: bold; font-size: 140%; color: #FF0080; text-align: right;  }
40.highlight { font-weight: bold; color: #FF0080 }
41p.copyright { font-size: small }
42p.copyright small { font-size: small }
43
44
45td.head { background: #0000FF; font: bold 140%; font-size: big; color: #FFFFFF; text-align: left; }
46td.subhead { background: #0000FF; color: #FFFFFF; text-align: left; }
47td.body { background: #00FFFF; text-align: left; }
48
49@media screen {  /* hide from IE3 */
50a:hover { background: #ffa }
51}
52
53pre { margin-left: 2em }
54/*
55p {
56  margin-top: 0.6em;
57  margin-bottom: 0.6em;
58}
59*/
60dt, dd { margin-top: 0; margin-bottom: 0 } /* opera 3.50 */
61dt { font-weight: bold }
62
63pre, code {
64	    font-family: courier, monospace;
65	    font-size: 10pt;
66	    font-weight: normal;
67	    color: blue;
68	}
69code.bold {
70	    font-family: courier, monospace;
71	    font-size: 12pt;
72	    font-weight: bold;
73	    color: blue;
74	}
75ul.toc {
76  list-style: disc;		/* Mac NS has problem with 'none' */
77  list-style: none;
78}
79
80
81