body {
    background: #F8FFFF; */
    color: black;
    margin-left: 5%;
    margin-right: 5%;
    font-family: verdana, arial, helvetica, Sans-Serif;
    line-height: 150%;
}

h1 {
    font-family: "times roman", verdana, sans-serif;
    text-align:    center;
    background:    #e0f0ff;
    border-top:    #4466ff 4px solid;
    border-bottom: #4466ff 4px solid;
    line-height: 200%;
    font-size: large;
}

h2, h3, h4, h5, h6 {
    font-family: verdana, arial, helvetica, Sans-Serif;
}

h2 {
    border-left: #99ccff 0.6em solid;
    border-bottom: #4466ff 5px solid;
    margin-right: 30%;
    line-height: 120%;
    padding-left: 5px;
}

h3 {
    color: #006030;
    border-bottom: #000066 1px solid;
    margin-right: 15%;
    margin-top:2ex;
    margin-bottom:0ex
}

h4 {
    color: #000000;
}

pre {
    border-right: #646464 1px solid;
    padding-right: 0.5em;
    border-top: #646464 1px solid;
    padding-top: 0.5em;
    border-left: #646464 1px solid;
    padding-left: 0.5em;
    border-bottom: #646464 1px solid;
    padding-bottom: 0.5em;
    margin-left: 2em;
    margin-right: 2em;
    white-space: pre;
    background-color: #e6e6e6;
    color: black;
}