body {
    margin-top: 0;
    padding-top: 0;
    margin-left: 15px;
    margin-right: 3em;
    text-align: justify;
    font-family: sans-serif;
}

div.main {
    margin-left: 175px;
}

h1, h2, h3, h4 {
    color: darkblue;
}

h1 { font: 180% bold; margin: 0.75ex 0; }
h2 { font: 130% bold; }
h3 { font: 115% bold; }
h4 { font: 100% bold; }

p#path {
    margin: 0;
    padding: 0;
    font-size: small;
}

p#path a {
    color: black;
}

p.temp_note {
    border: 2px dashed black;
    background: #FF8;
    padding: 1ex;
}

div.nav {
    width: 150px;
    padding: 2px;
    float: left;
    font-size: small;
    // background-color: #eef;
    background-color: #eee;
    border: 1px solid #88a;
    text-align: left;
}

div.nav a {
    color: black;
}

div.nav ul {
    padding-left: 1.5em;
}

pre.longCode {
    margin-left: 2em;
    padding: 0.5ex;
    border: 1px solid black;
    background-color: #EEE;
    color: #040;
}

.legal {
    font-size: small;
}