body {
    font-family: Verdana,Helvetica;
    font-size: 10pt;
    color: #000000;
}

h1 {
    font-family: Verdana,Helvetica;
    font-size: 14pt;
    color: #000080;
    font-weight: bold;
}

h2 {
    font-family: Verdana,Helvetica;
    font-size: 10pt;
    color: #000080;
    font-weight: bold;
}

td {
    font-family: Verdana,Helvetica;
    font-size: 10pt;
}

.smallbox {
    background-color: #d0d0d0;
    font-size: 8pt;
}

.smallboxdownl {
    background-color: #c0c0c0;
    font-size: 8pt;
}

.smallboxeven {
    background-color: #d0d0d0;
    font-size: 8pt;
}

.smallboxodd {
    background-color: #e0e0e0;
    font-size: 8pt;
}

a:link {
    color: #000080;
}
a:visited {
    color: #000080;
}
a:active {
    color: #000080;
}
a:hover {
    color: #800000;
}


/* Sample stylesheet for listings, generated by e-listing.
 * Edit to suite your likings!
 * All the above styles apply to the tags <code>. If you need to
 * redefine the font and such of the listing, just add a block for
 * that tag, and define the font-family, the font-size and the such.
 */

code {
    font-size: 8pt;
}

/* Sequences of identifier-like stuff. */
.ident {
    color: black;
}

/* Comment and #-directives */
.comment {
    color: gray;
}

/* Line numbers preceeding the listing lines */
.lineno {
    color: red;
    font-size: 8pt;
}

/* Strings in the form "..." */
.string {
    color: blue;
    font-style: italic;
}

/* Strings in the form '...' */
.charstr {
    color: blue;
    font-style: italic;
}