* {
    font-size:15px
}

div#navigator {
    background-color: dodgerblue;
    padding: 20px;
    border: solid black;
    border-bottom-width: 0;
}

div#navigator a {
    color: white;
    font-size: larger;
}

div#navigator a:hover {
    color: yellow;
    text-decoration: underline;
}

div#body {
    background-color: beige;
    padding: 20px;
    border: solid black;
    border-top-width: 0;
}

p {
    text-indent:40px
}

pre {
    background-color:#cccccc;
    padding:10px
}

a {
    color:steelblue;
    text-decoration:none
}

a:hover {
    color:deepskyblue;
    text-decoration:underline
}

span.title {
    color:steelblue;
    font-weight:bold;
}

span.title span.date {
    color:darkgray;
    font-style:italic;
}

dt {
    font-weight:bold;
}