body {
    background-color:white; color:black;
    width: 80%;
    margin: 0px auto 0px auto;
}

div#navigation {
    text-align: center;
    border-bottom: 4px solid black;
}

div#navigation a {
    color: white;
    font-weight:bold;
    font-family:sans-serif;
    /* font-size:small; */
    text-decoration: none;
    background-color: black;
    padding: 3px 10px 3px 10px;
    margin: 0px 10px 0px 10px;
}

   /* body { padding:1em 10% 1em 12%; background-color:white; color:black; } */

   h1, h2 { position:relative; left:-0.5em; }

   pre { background-color:black; color:white; padding:0.5em 1em; display:inline-block; }

   h1 a, h2 a, h3 a, h4 a, h5 a, h6 a {color:black; text-decoration:none; }

   p code { font-weight:bold; }

   #TOC {
    float:right;
    margin:1em;
    border:thin solid #ddd;
    background-color:#f0f0f0;
   }

   #TOC ul {
    list-style-type: none;
    padding:0 1em 0 1em;
   }

.shortcut {
   font-family:monospace;
   color:gray;
}