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

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

h3 {
    font-family: Helvetica,Verdana;
    font-size: 11pt;
    color: blue;
}

h4 {
    font-family: Helvetica,Verdana;
    font-size: 10pt;
    color: blue;
}

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

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

/* 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;
}