h1 {
    font-family: Verdana, Helvetica;
    font-size: 13pt;
    color: blue;
}
h2 {
    font-family: Verdana, Helvetica;
    font-size: 11pt;
    color: blue;
}
h3 {
    font-family: Verdana, Helvetica;
    font-size: 9pt;
    color: blue;
}
body {
    font-family: Verdana, Helvetica;
    font-size: 9pt;
    padding-left: 5pt;
}
td {
    font-size: 9pt;
    padding-left: 9pt;
    color: black;
}

.title {
    background-color: #f0f0f0;
}

a:link {
    color: #5050a0;
    text-decoration: none;
}
a:visited {
    text-decoration: none;
    color: #5050a0;
}
a:hover {
    color: #5050a0;
    text-decoration: underline;
}
a:active {
    color: #5050a0;
    text-decoration: none;
}

.box {
    font-size: 8pt;
    background-color: #e0e0e0;
    margin: 5px;
    padding: 5px;
    border: 1px solid black;
}

.footer {
    color: grey;
    font-size: 8pt;
    text-align: left;
}	
a.footer:link {
    color: grey;
}
a.footer:visited {
    color: grey;
}
a.footer:hover {
    color: #a00000;
}
a.footer:active {
    color: grey;
}

table.main {
    border-width: 0px 0px 0px 0px;
    border-spacing: 0px;
    border-style: groove groove groove groove;
    border-color: white white white white;
    border-collapse: separate;
}
td.main {
    border-width: 0px 1px 0px 0px;
    padding: 1px 3px 1px 1px;
    border-style: inset inset inset inset;
    border-color: black black black black;
    background-color: white;
    -moz-border-radius: 0px 0px 0px 0px;
}

.small  {
     font-size: 8pt;
}

.floatright {
    float: right;
    padding: 3pt;
}

.floatleft {
    float: left;
    padding: 3pt;
}

pre {
    font-family: Monaco, sans-serif;
    font-size: 8pt;
    color: #000000;
    color: #000000;
    background-color: #e0e0e0;
    padding: 3pt;
}
.comment {
    /* font-lock-comment-face */
    color: #b22222;
    color: #b22222;
}
.comment-delimiter {
    /* font-lock-comment-delimiter-face */
    color: #b22222;
    color: #b22222;
}
.constant {
    /* font-lock-constant-face */
    color: #5f9ea0;
    color: #5f9ea0;
}
.function-name {
    /* font-lock-function-name-face */
    color: #0000ff;
    color: #0000ff;
}
.keyword {
    /* font-lock-keyword-face */
    color: #a020f0;
    color: #a020f0;
}
.preprocessor {
    /* font-lock-preprocessor-face */
    color: #da70d6;
    color: #da70d6;
}
.string {
    /* font-lock-string-face */
    color: #bc8f8f;
    color: #bc8f8f;
}
.type {
    /* font-lock-type-face */
    color: #228b22;
    color: #228b22;
}
.variable-name {
    /* font-lock-variable-name-face */
    color: #b8860b;
    color: #b8860b;
}