body { 
    margin-left: 8%; 
    margin-right: 5%;
    font-family: Trebuchet, Arial, sans-serif
  }
  h1 { margin-left: -4%; color: rgb(0,92,160); clear: left }
  h2 { margin-left: -4%; color: rgb(0,92,160)}
  h3 { margin-left: 0% }
  h3.notoc {margin-left: 2% }
  h4 { margin-left: 3% }
  a.toc {font-style: italic; text-decoration: none}
  pre { color: green; font-weight: bold }
  em { font-style: italic; font-weight: bold }
  strong { text-transform: uppercase; font-weight: bold }
  b { color:#990066}
  .sub-bullet { font-size: 80%; margin-top: 1em; margin-bottom: 1em }
  td { background: #FFFF99 }
  th { background: #FFFF66 }
  caption { text-decoration: underline; margin-top: 1em }
  p.splash { color: #990066}
  p.banner { margin-left: -3% }
  b.black { color: black}
  b.pink {color:#990066}
  p.pink {color:#990066}
  blockquote { color: black; font-style:italic }
  pre,tt { font-family: monospace; font-weight: normal }
  pre { margin-left: 4% }
  div.disclaimer {margin-left: -8%}
  div.color {
              background: rgb(255,204,255);
              padding: 0.5em;
              border: none;
              width: 80%;
              font-family: Trebuchet, Arial, sans-serif;
            }
  blockquote.color {
              clear: left;
              background: rgb(255,204,255);
              padding-left: 0.5em;
              padding-right: 0.5em;
              padding-top: 0.2em;
              padding-bottom: 0.2em;
              border: none;
              margin-right: 5%;
              font-style: normal;
              font-family: "Comic Sans MS", serif;
            }
  blockquote.splash {
      font-style: italic;
      font-size: 110%;
      margin-right: 25%;
      color: #006699;
  }
  li {margin-top: 0.2em; margin-bottom: 0}
  blockquote h3 {text-align: center}
  .navbar {text-align: center}
  .question {font-style: italic}
  img { border-width: 0 }

  div#menu {
	float: right; margin: 1em; margin-left: 3em; border: solid #bbb thin; padding: .2em;
}

  div#menu > li { margin: 0 }
  div#menu > ul { margin: 0 }