a:link {
    color: #3A3A3A;
}

a:visited {
    color: #3A3A3A;
}

a:hover {
    color: #FF9900;
}

code.keyword {
    color: #0000FF;
    font-weight: bold;
}

code.variable {
    font-style: italic;
}

code.interface {
    font-style: italic;
}

div.navleft {
    float: left;
    text-align: right;
    width: 33%
}

div.navcenter {
    float: left; 
    text-align: center;
    width: 33%;
    margin-right: 1em;
    margin-left: 1em
}

div.navright {
    float: left;
    text-align: left;
}

pre.codeBlock {
    background: #E0E0E0;
    border: 1px dashed black;
    width: 75%;
    margin-left: auto;
    margin-right: auto;
    padding: 1em;
    overflow: auto;
}

ul.toc {
    font-size: larger;
}