body {
    max-width: 40em;
    margin-top: 2em;
    margin-bottom: 2em;
    margin-left: 4em;
    margin-right: 2em;
    font-family: Georgia, Monaco, Verdana;
}


a {
    text-decoration: none;
    border-bottom: 1px dotted;
}

a:hover {
    border-bottom: 1px solid;
}

h1,h2 {
    font-family: sans-serif; /* papyrus */
    margin-top: 1.5em;
}

h1 {
    font-size: 150%;
}

h2 {
    font-size: 110%;
}

h1,h2,h3,h4 {
    /*color: #9b3d3d;*/
    color: #3d2b1f;
}

.title {
    margin-top: 2em;
    margin-bottom: 2em;
    text-align: center;
    font-size: 200%;
}

.code {
    font-family: "courier 10 pitch", monospace;
}

pre {
    overflow: auto;
    margin-left: 2em;
    background-color: #f5f5f5;
}