H1 {
	font-size: 3em;
	margin-top: 0.3em;
	margin-bottom: 0.2em;
	font-weight: bold;
	color: rgb( 0, 102, 0 );
	text-align: center;
}

BODY, TD, CITE, A, P, UL, DL, DIV {
	font-family: sans;
	color: rgb( 0, 0, 0 );
}

TD:not(.tight > TD) {
	font-size: 12pt;
}

.tight, .tight > TD {
    font-size: 9pt;
}

TD, TH {
    border: 1px dotted grey;
}

DT { font-family: mono; font-size: 9pt; }
DD { font-family: sans; font-size: 9pt;
     margin-left: 12pt; padding-bottom: 3pt; }

A:link, A:visited, A:active, A.fake { font-weight: bold; text-decoration: none; }
A:link             { color: rgb( 0, 102, 0 );  }
A.fake, A:visited  { color: rgb( 0, 128, 0 );  }
A:active           { color: rgb( 0, 179, 0 );  }

DIV.abstract {
	overflow: hidden;
	border-width: 0;
	text-align: justify;
}

DIV.content {
	padding-top: 8px;
	padding-left: 10%;
	padding-right: 10%;
	overflow: hidden;
	border-width: 0;
	text-align: left;
}

DIV.list { font-family: mono; font-size: 9pt;
	   margin-left: 12pt; padding-bottom: 3pt; }

HR {
    display: block;
    margin-top: 1.5em;
    margin-bottom: 1em;
    border-style: inset;
    border-width: 1px;
}