/* general body properties */

BODY        { color: black; font-family: helvetica; background-color: #c0c0c0 }

/* configure link properties */

A  { text-decoration: none }
A:link   { color: #00008b; font-weight: normal }
A:hover       { text-decoration: underline }
A:visited   { color: #77008b }

/* configure paragraph properties */

P {
 color: black;
 text-align: justify;
/*
  for debugging purposes:
  background-color: #f0b0b0
*/
}

UL.just  { text-align: justify }

H1   { color: #8a0000; font-weight: bold; font-size: 240%; font-family: times }

H2    { color: white; font-weight: bold; background-color: #008080; margin: 2pt; padding: 3pt; border: solid 1pt #003333 }

H3      { color: black; font-weight: bold; background-color: #999; margin: 2pt }

H4      { color: #8a0000; font-weight: 500; font-size: small; text-decoration: none }

H5  { color: #00008b; font-weight: bold; font-size: 120% }

H6   { font-weight: 600; font-size: medium; background-color: #999 }
tt  { color: #004000; font-size: small }