body {
    background:#c9d7a7;
    margin:10;
    color:#000;
    font : normal normal normal 10pt Trebuchet MS;
  }
  table {
    background:#fff;
    font : normal normal normal 10pt Trebuchet MS;
  }
  h1, h2, h3 {
    color : #666;
  }
  h1, h2 {
    border-bottom: #c9d7a7 solid 1px;
  }
  a {
    color : #663;
  }
  a:visited {
  }
  a:hover {
  }
  blockquote {
  }
  tt {
    background: #eee;
  }
  pre {
    border: solid 1px;
    background: #eee;
    margin-left: 2em;
    margin-bottom: 1em;
    padding-top: 1em;
    padding-bottom: 1em;
  }
  .rule {
    color: red;
  }
  .literal {
    color: blue;
  }
  .prim_word_head {
    font-weight: bold;
    font-size: medium;
  }
  .prim_def_table {
    margin-bottom: 1em;
  }
  .prim_label {
    margin-right: 2em;
  }
  .primitive-toc-link {
    font-weight: bold;
  }