BODY
{
	background-color: rgb(242,242,242);
	color: rgb(0,0,0);
	padding-left: 1em;
	padding-right: 1em;	background: url("/images/patterns/white-grainy.png");
	background-repeat: repeat;
}


H1, H2, H3, H4, H5
{
	font-family: "Helvetica", "Arial", sans-serif;
	/*
	background-color: rgb(160,100,160);
	background: url("/images/GreenMarble.png");
	background-repeat: repeat;
	*/
	color: rgb(92,126,140); /* ht://Dig turquoise */
	text-align: left;
	padding-top: 0.0em;
	padding-bottom: 0.0em;
	border: none;
}



ADDRESS
{
	font-family: "Helvetica", "Arial", sans-serif;
	font-size: 0.8em;
	text-align: center;
	color: rgb(160,160,160);
}

.fine-print
{
	font-family: "Helvetica", "Arial", sans-serif;
	font-size: 0.6em;
	text-align: center;
}


HR
{
	float: center;
	width: 100%;
	padding: 0.25em;
}

/* Breaks links altogether!
A
{
	border: none;
}
*/

A:link
{
	color: rgb(50, 50, 230);
}


A:visited
{
	color: rgb(120, 120, 120);
}

A:hover
{
	color: rgb(0,200,0);
}

A:active
{
	color: rgb(100, 160, 160);
}



CODE
{
	font-family: "lucida console",courier,monospace;
	font-weight: bold;
	color: rgb(160,160,160);
	/* background-color: rgb(240,240,240); */
}


/* Bah, Netscape doesn't colour backgrounds for DT items. */

DT
{
	/*background-color: rgb(255,255,255); */
	padding: 0.25em;
	font-style: bold;
}

DD
{
	font-family: "Helvetica", "Arial", sans-serif;
	font-size: small;
}

.LOGICAL_WORDS
{
	color: rgb(173,0,0);
}

.code-para
{
	background-color: rgb(241,240,240);	/* Netscape messes up if this is exactly the same colour as for CODE! */
	border-width: thin;
	border-color: black;
	width: 100%;
	text-align: left;
	padding: 0.75em;
	white-space: pre;	/* IE doesn't seem to support this. Include <PRE> tags inside the <CODE> block. */
}

EM.term
{
	font-style: italic;
}

IMG
{
	/* float: center; */
	/* Hmm:
	margin: 2em;
	padding: 2em;
	*/
}


TABLE
{
	float: center;
	padding: 0.25em;
	border-width: thin;
	border-color: rgb(100,160,100);
}

TH
{
	/* font-size: 1.2em; */
	/* background-color: rgb(160,100,160); */
	color: rgb(160,100,160);
	border-width: thin;
	border-color: rgb(100,160,100);
}

TD
{
	color: rgb(100,160,100);
}

TD.number
{
	text-align: right;
	font-family: "Lucida Console", courier, monospace;
}