body, p, b, i, ul, ol, li, td {
    font-family: arial, helvetica, sans-serif;
    color: black;
/*    background: white;*/
}

h1, h2, h3, h4, h5 {
    font-family: arial, helvetica, sans-serif;
    font-size: 120%;
    font-weight: bold;
    color: #000080;
    background: white;
}

div.body {
    margin-left: 32px;
}

pre {
    font-family: monospace;
}

td.purple {
    background: purple;
    font-family: arial, helvetica, sans-serif;
    color: black;
    vertical-align: top;
    text-align: left;
}

/*
 * For backward compatibility, please make sure these match the values
 * in the "body" element (in include.top.2)
 */

a:link {
    text-decoration: none;
    color: #0282b4;
    background: white;
}

a:active {
    text-decoration: none;
    color: #0244b4;
    background: white;
}

a:visited {
    text-decoration: none;
    color: #0244b4;
    background: white;
}