body {
    margin-left: 3%;
    margin-right: 3%;
    font-family: arial, helvetica, sans-serif;
    font-size: 13;
    color: #000000;
    background: url(/background) white;
  }
  h2 { margin-top: 1em }
  h1 { margin-left: -1% }
  h2,h3,h4,h5,h6 { margin-left: 1% }
  A:link        { text-decoration: none; color: #0000B0}
  A:visited     { text-decoration: none; color: #201060}
  A:hover       { text-decoration: none; color: #F00000}
  p { margin-left: 3% }
  pre {
     color: green; font-weight: bold;
     white-space: pre; font-family: "Courier New", monospace;
  }
  tt { color: green }
  em { font-style: italic; font-weight: bold }
  strong { text-transform: uppercase; font-weight: bold }
  .navbar {text-align: center }
  .example {
    color: rgb(153,0,51);
    border: none;
    padding: 0.5em;
    width: 100%;
    background-color: rgb(255,255,153)
  }
  pre.example {
    font-family: monospace;
    white-space: pre;
  }
  table {
    margin-left: 4%;
    font-family: sans-serif;
    background: white;
    border-width: 2px;
    border-color: white;
  }
  th { font-family: sans-serif; background: rgb(191, 64, 12); color: white}
  td { font-family: arial; font-size:9.0pt ; background: rgb(200, 200, 200) }