BODY {
  background-color : #FFFAf0;
	font-family:  "Times New Roman", Times, serif;
}

FONT.fix {
  font-family: "Courier New", Courier, monospace;
  font-size: 80%;
}

FONT.hi {
  background-color : "yellow";
}

PRE {
  font-family: "Courier New", Courier, monospace;
  font-size: 80%;
}


P {
  margin-bottom: 0px;
}


P.br {
  margin-top: 0px;
}


SMALL {
  font-size: 80%;
}

TABLE {
	background-color : White;	
	border-width: 1px;
	border-style: solid;
	border-color: Black;
}

TD {
  border-width: 1px;
	border-style: solid;
	border-color: Black;
	padding-left: 0.5em;
	padding-right: 0.5em;
}