BODY { background: #ffffff ; color: #000000 }
H1 { font: 45px/1 "minion pro", times, serif ; color: #555599 }
P { margin: 1em 3em 0 3em ; color: #000000 }
PRE { margin-top: 0 }
SAMP { font-family: courier, monospace }
UL { margin: 0.5em 2em 0 2em; list-style-type: circle }

A:link { color: #0000ee }
A:active { color: #ff0000 }
A:visited { color: #551a8b }

.body A, .intro A { text-decoration: none; border-width: 0 }
.body A:link, .intro A:link { border-bottom: 1px dotted #0000ff; color: #000055 }
.body A:visited, .intro A:visited { border-bottom: 1px dotted #0000ff; color: #000044 }
.body A:hover, .intro A:hover { border-bottom: 1px solid #0000ff; color: #0000aa }

A.groupname { text-decoration: none; border-width: 0 }
A.groupname:link { border-bottom: 1px dotted #00ff00; color: #004400 }
A.groupname:visited { border-bottom: 1px dotted #00ff00; color: #004400 }
A.groupname:hover { border-bottom: 1px solid #00ff00; color: #006600 }

.blurb { font-family: "myriad pro", "myriad web", helvetica, sans-serif;
  line-height: 1.3 }

DIV.intro { margin-left: 2em; margin-right: 4em }
.intro P { margin: 1em 0 0 0 }

.toc OL, .toc UL { margin: 0.5em 2em 0 4em }
.toc OL A:link, .toc UL A:link { color: #0000ee }
.toc OL A:active, .toc UL A:active { color: #ff0000 }
.toc OL A:visited, .toc UL A:visited { color: #551a8b }

.listings DL { margin: 0 15% 0 4em }
.listings DT { margin: 1em 0 0 0 }
.listings DD { line-height: 1.2 }
.listings DL DL { margin-top: 0.5em }
.listings DL DL DT { margin-top: 0; padding-top: 0 }

.listings DD A { text-decoration: none; border-width: 0 }
.listings DD A:link { border-bottom: 1px dotted #0000ff; color: #000055 }
.listings DD A:visited { border-bottom: 1px dotted #0000ff; color: #000044 }
.listings DD A:hover { border-bottom: 1px solid #0000ff; color: #0000aa }
.listings DT A { text-decoration: underline }
.listings DT A:link { color: #0000ee; border-style: none }
.listings DT A:active { color: #ff0000; border-style: none }
.listings DT A:visited { color: #551a8b; border-style: none }

DIV.body { margin-left: 1em; margin-right: 10% }
.body P { line-height: 1.1 }
.body DL { margin-left: 2em }
.body KBD { margin-left: 2em }
.body PRE { margin-left: 2em }

DIV.subhead { background-color: #ffe4e1; border: 1px solid black;
  margin-top: 1.5em; margin-bottom: 0; width: 55% }
.subhead H2 { font-family: helvetica, sans-serif; font-weight: bold;
  font-size: medium; margin: 3px 0 0 1em; }

DIV.outro { margin: 1em 4em 0 2em }

DIV.footer { clear: both; background-color: #ffe4e1;
  border: 1px solid black; margin: 3em 5em 0 5em }
.footer P { text-align: right; margin-top: 0 }

.hide { display: none }