@charset "US-ASCII";

@media screen {
  
  body {
    font-family: serif;
  }
  
  dt {
      margin-top: 1em;
  }
  
  table {
    margin-bottom: 1em;
    width: 95%;
  }
  
  tr:hover {
    background: #efe;
  }
  
  th {
    width: 10em;
    text-align: center;
    font-weight: bold;
    font-variant: small-caps;
    background: #cec;
  }
  
  th, td {
    padding: 0.2em 1em;
    border-style: solid;
    border-width: 0 1px 1px 0;
    border-color: #696;
    vertical-align: middle;
  }
  
  td {
    empty-cells: show;
  }
  
  code {
    color: #a66;
  }
  
  .toc ul li {
    display: inline;
  }
}