body {
  background: white;
  color: black;
  font-family: Arial, Helvetica, sans-serif
}

h1 { color: #c33; background: transparent }
h2 { margin-left: 2%; margin-right: 2%; color: #00008b; background: transparent }
h3 { margin-left: 4%; margin-right: 4%; color: #006400; background: transparent }
h4 { margin-left: 6%; margin-right: 6% }
h5 { margin-left: 6%; margin-right: 6% }
li, ol, dl, p { margin-left: 12%; margin-right: 6% }
pre { margin-left: 10% }
table { margin-left: 4%; margin-right: 4% }

h1.index { color: #c33; background: transparent }
h2.index { color: #00008b; background: transparent }
h3.index { color: #006400; background: transparent }
h4.index { margin-left: 0%; margin-right: 0% }
h5.index { margin-left: 0%; margin-right: 0% }
li.index, ol.index, dl.index, p.index { margin-left: 0%; margin-right: 0% }
pre.index { margin-left: 0% }
table.index { margin-left: 0%; margin-right: 0% }

ul ul { font-size: small }
ol p { margin-left: 0; margin-right: 0 }

p small { font-size: small }
p.top { margin-left: 1%; margin-right: 1% }

blockquote { margin-left: 10%; margin-right: 10%; color: #000040; background: transparent; padding: 2em; border: thin ridge #dc143c }

dt a { font-weight: bold; font-size: large; margin-top: 10px }

a:link { color: #00f; background: transparent }
a:visited { color: #800080; background: transparent }
a:active { background: yellow }

.html { color: #191970; background: transparent }
.css { color: #800000; background: transparent }
strong.html, strong.css { font-weight: normal }
pre code.css, pre code.html, pre samp { font-family: monospace }

dfn { font-style: normal; font-weight: bold }

.note { font-size: small }