body { background-color: #F6F6E6; color: #000000; font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 10pt; margin-top: 1%; margin-left: 1%; margin-right: 1%; }

h1 { color: #880000; font-size: 250%; font-weight: bold; padding-top: 0cm; margin-top: 0cm }
h2 { color: #0000ff; font-size: 125%; text-decoration: underline }
h3 { color: #0000ff; font-size: 100% }
h4 { color: #0000ff; font-size: 100%; text-transform: lowercase }

p { }
li { padding-top: 0.0cm; padding-bottom: 0.0cm }

/* This bit implements different internal/external links, using <a class="external" ...> */
a { text-decoration: none; }
a:link    { color: #0000ff; text-decoration: underline}
a:visited { color: #005588; }
a:hover   { color: #cc33cc; }

a.external:link    { background-color: #ffffff; color: #0000ff; text-decoration: underline}
a.external:visited { background-color: #ffffff; color: #cc33cc; }
a.external:hover   { background-color: #ffffbb; color: #cc33cc; }

span.var  { background-color: #ffffff; }
span.var2 { background-color: #00ffff; }
span.con { font-family: Courier New, Courier, serif; font-size: 10pt; }