/***********************************************************************
common style sheet
***********************************************************************/

/***********************************************************************
color scheme:
- black text
- light grey background
- blue unvisited links
- purple visited links
- red active links
***********************************************************************/
body
{
  color: #000000;
  background-color: #ffffff;
}

A.heading { text-decoration: none; }
A:link    { color: #0000ee; }
A:visited { color: #551a8b; }
A:active  { color: #ff0000; }

/***********************************************************************
fonts:
- use sans serif everywhere except for preformatted text and code
***********************************************************************/

body
{
  font-family: arial, helvetica, univers, sans-serif;
}

/*
terrible font kludge because Netscape can't inherit the above
body style definitions when I include the 4 padding styles in the
".navbar A" rule below.
*/
h1, h2, h3, h4, h5, p, small 
{
  font-family: arial, helvetica, univers, sans-serif;
}

/* font kludge for broken table non-inheritance-of-style */
td, ul, ol, dl  { font-family: arial, helvetica, univers, sans-serif; }

code{ font-family: lucidatypewriter, 'courier new', courier, monospace; }

pre { font-family: lucidatypewriter, 'courier new', courier, monospace; }

h1, h2, h3
{
  font-weight: normal;
}

h1, h2, h3, h4, h5, h6
{
  color: #200055;
}

hr
{
  border-style: solid;
  color: #300090;
  background-color: #200055;
  height: 3px;
}

.date
{
  white-space: nowrap;
}

/***********************************************************************
indentation and margins
- an indent division indents everything by 3em
***********************************************************************/

div.indent
{
  margin-left: 3em;
}

p{ margin-top: 0; }

h1, h2, h3, h4, h5, h6
{
  margin-top: 0.5em;
  margin-bottom: 0.25em;
}

/***********************************************************************
navbar
***********************************************************************/

.navbar
{
  font-size: 100%;
  font-weight: bold;
  color: #ffffff;
  background-color: #300090;
}

.navbar A
{
  display: block;
  text-decoration: none;
  padding-right: 1.2ex;
  padding-left: 1.2ex;
  padding-top: 0.4ex;
  padding-bottom: 0.4ex;
  margin: 0ex;
}

.navbar A:link { color: #ffffff; }
.navbar A:visited { color: #ffffff; }
.navbar A:hover { background-color: #5020D0; }
.navbar A:active  { color: #ffffff; }

/***********************************************************************
theme table
***********************************************************************/

.TableHeader
{
  color: #ffffff;
  background-color: #300090;
  padding-right: 1.2ex;
  padding-left: 1.2ex;
  padding-top: 0.4ex;
  padding-bottom: 0.4ex;
}

.TableRow1
{
  color: #000000;
  background-color: #eeeeee;
  padding-right: 1.2ex;
  padding-left: 1.2ex;
  padding-top: 0.4ex;
  padding-bottom: 0.4ex;
  vertical-align: top;
}