body { line-height: 1.35 } /* This breaks MacIE 3... */
.intro { font-weight: bold; margin: 1em 2em }
.important { text-align: center; font: bold 200% "Helvetica" sans-serif }
.important { text-transform: uppercase; letter-spacing: 0.1em }
a:visited, a:link { text-decoration: none }
a.local:before { content: "\2192" }
ul.toc { list-style: disc; list-style: none }
div.navbar { clear: both; margin: 1em 0 }
div.navbar p { border: none; margin: 0; text-align: center; font-weight: bold }
div.navbar a:link, div.navbar a:visited, div.navbar p { background: #900 }
div.navbar p, div.navbar a:link { color: white }
div.navbar a:visited { color: #CCC }
img.logo { float: left; margin-right: 0.3em }
h2, h3 { color: #66C; font-weight: normal }
h2 { text-transform: uppercase; font-size: 400% }
h2 { letter-spacing: 0.1em; word-spacing: 0.1em; line-height: 1 }
h2 { margin: 3em 0 0.2em 0 }
p { margin-bottom: 0 }
p + p { text-indent: 1em; margin-top: 0 }
.include { background: #000; color: #0F0 } /* for debugging only */

@media print {
  div.navbar {display: none}
  h2, h3 {color: #000; font-weight: bold}
  h2 {margin-top: 2em; margin-bottom: 1em}
}