/* Standard styles. */
h1 {
    font-family: Helvetica,Verdana;
    font-size: 14pt;
    color: blue;
}

h2 {
    font-family: Helvetica,Verdana;
    font-size: 12pt;
    color: blue;
}

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

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

/* Standard classes. */
.cell {
    background-color: #e0e0e0;
}

.menu {
    background-color: #e0e0e0;
    font-size: 8pt;
    font-weight: bold;
}

.active {
    color: #0000f0;
}

/* Hyperlinks. */
a:link {
    color: #000080;
}
a:visited {
    color: #000080;
}
a:active {
    color: #000080;
}
a:hover	{
    color: #800000;
}

/* Classes for e-listing-generated sources: */
.ident {
    color: black;
}
.comment {
    color: gray;
}
.lineno {
    color: red;
}
.string {
    color: blue;
    font-style: italic;
}
.charstr {
    color: blue;
    font-style: italic;
}