body.html, body.html p {
    background-color: #D0D0D0;
    font-family: Courier;
    font-size: 10px
    }
body.wysiwyg, body.wysiwyg p, body.wysiwyg td {
    font-size: x-small;
    font-family: Tahoma, Arial, Helvetica, sans-serif
    }
body.wysiwyg h3 {
    margin-top: -8px;
    margin-bottom: 4px
    }
a:link {
    font-weight: bold;
    text-decoration: none;
    color: #000
    }
a:visited {
    font-weight: bold;
    text-decoration: none;
    color: #000
    }
a:hover, a:active {
    text-decoration: underline;
    color: #000
    }
.highlight {
    background-color: Yellow
    }
.warning {
    color: Red
    }