/*
 * Style sheet for the HTML 4.0 specification
 * $Id: default.css,v 1.6 2004/02/21 21:31:12 selinger Exp $
 * JFS: 990507
 */

BODY {
    background: #eecf8f;
    color: black;
}

TABLE.blue {
  border: solid thin;
  color: black;
  background: lightsteelblue;
/*   cellpadding: 2; */
  border-spacing: 2pt;
}

TABLE {
  border: solid thin;
  color: black;
  border-spacing: 2pt;
} 

TABLE.noborder {
  border: 0;
  color: black;
  border-spacing: 2pt;
} 

.white {
	background: white;
}

TD {
  text-align: center;
}

TD.normal {
  text-align: center;
  color: black;
  background: #eecf8f;
}

.pink {
  background: lightpink;
}

.left {
  text-align: left;
  alignment: left;
}

.leftblue {
  text-align: left;
  background: lightsteelblue;
  alignment: left;
}

.leftwhite {
  text-align: left;
  background: white;
  alignment: left;
}

.right {
  text-align: right;
  alignment: right;
}

.rightbold {
  text-align: right;
  alignment: right;
  font-weight: bold;
}

.rightboldblue {
  text-align: right;
  alignment: right;
  font-weight: bold;
  color: blue;
}

.rightboldred {
  text-align: right;
  alignment: right;
  font-weight: bold;
  color: red;
}

.rightblue {
  text-align: right;
  alignment: right;
  background: lightsteelblue;
}

.rightwhite {
  text-align: right;
  alignment: right;
  background: white;
}

.rightred {
  text-align: right;
  alignment: right;
  color: red;
}

.rightbluered {
  text-align: right;
  alignment: right;
  color: red;
  background: lightsteelblue;
}

.rightwhitered {
  text-align: right;
  alignment: right;
  color: red;
  background: white;
}

H1 {
  text-align: center;
}

IMG {
  border-style: none;
  border-width: 0mm;
  border-color: #eecf8f;
}

DL.bold {
  font-weight: bold;
  color: darkgreen;
}

P.normal {
  font-weight: normal;
  color: black;
}

TT {
    color: #005000;
}

DIV.bold {
  font-weight: bold;
  line-height: 130%;
  color: darkgreen;
}

DIV.boldcenter {
  font-weight: bold;
  line-height: 130%;
  color: darkgreen;
  text-align: center;
}

H1.red {
  color: #ff0000;
  font-size: 200%;
}

.red {
  color: #ff0000;
  font-size: 150%;
}