body {
    color: black;
}

h1 {
    font-family: Garamond, "Times New Roman", serif;
    color: #003300;
    margin: 0;
}

.title h2 {
    font-family: Garamond, "Times New Roman", serif;
    font-size: medium;
    color: #003300;
    margin-top: 0.2em;
    margin-bottom: 0.5em;
}

h2, h3 {
    font-family: Garamond, "Times New Roman", serif;
    color: #006633;
    margin-bottom: 0.5em;
}

.title {
    margin-left: 190px;
}

.main {
    margin-left: 185px;
    padding-left: 6px;
    background: white;
}

.code {
    font-family: "monospace";

}

.sidenav {
     position: absolute;
     top: 50px;
     left: 10px;
     width: 170px;
     background-color: #ccffcc;
     font-size: 80%;
     margin-top: 2em;
     margin-right: 2em;
     padding-bottom: .5em;
     border-right: thin solid;
}

.sidenav p {
/*    font-size: medium; */
    margin-top: 10px;
    margin-bottom: 5px;
    margin-left: 0;
    margin-right: 0;
    padding-top: 0px;
    padding-bottom: 0px;
    padding-left: 20px;
    padding-right: 5px;
    text-indent: -15px;
    font-weight: bold;
}

.sidenav ul {
    margin-top: 0;
    margin-bottom: 0;
    margin-left: 10px;
    margin-right: 0;
    padding-top: 0px;
    padding-bottom: 0px;
    padding-left: 15px;
    padding-right: 5px;
    text-indent: -10px;
    list-style-type: none;
}

.submenu {
    font-weight: bold;
    margin-top: 5px;
    margin-bottom: 5px;
}

.linktome {
    font-weight: bold;
}


div.foot {
    border-top: thin solid;
    margin-top: 10px;
    position: absolute;
    left: 200px;
    right: 30px;
}

.foot p {
    font-size: x-small;
}