pre {
    padding: 3px;
    width: 50em;
    background-color: #eeeeee;
    border: 1px solid black;
  }
  body {
    font-family: arial;
    font-size: x-small;
  }
  td {
    font-size: x-small;
  }
  tt,pre {
    font-family: courier new, courier;
    font-size: x-small;
  }
  tt {
    background-color: #eeeeee;
  }
  h1, h2, h3, h4 {
    font-family: arial;
  }
  b {
    arial;
  }
  li {
  }
  .toc {
    font-size: x-small;
    font-family: courier new, courier;
  }
  .pp {
    color: #cc00cc;
  }
  .sym {
    color: #000066;
  }
  .id {
    color : #000000;
  }
  .key {
    color: #000099;
  }
  .ch,
  .str {
    color : #660066;
  }
  .com {
    font-style: italic;
    color : #660000;
  }
  .num {
    color : #660000;
  }
  .unexpected {
    font-weight: bold;
    font-style: italic;
    color : #009900;
  }