body {
    background: rgb(255,255,192);
    font-family: sans-serif;
}
ul li {
    padding-top: 0.3em;
    list-style-type: disc;
}
td.nav {
    padding: 0px;
}
a {
    text-decoration: none;
}
.code {
      font-family: monospace;
      font-size: 85%;
      white-space: pre;
      background-color: rgb(255,255,160);
      border: 1px dashed rgb(180,200,86);
}