body { 
    margin-left: 10%; 
    margin-right: 10%; 
    font-family: sans-serif
  }
  h2 { margin-top: 1em }
  h2,h3,h4,h5,h6 { 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: "Lucida Console", "Courier New", monospace;
    white-space: pre;
  }
  table {
    margin-left: 5%;
    font-family: sans-serif;
    background: white;
    border: 0;
    border-color: white;
  }
  th { font-family: sans-serif; background: white; align: left }
  td { font-family: sans-serif; background: white }
  table.centered {
    margin-left: auto;
    margin-right: auto;
  }