/* Generic stylesheet, which makes no assumptions about base font size.  These rules are used unless
a more specific stylesheet is selected by Javascript */

H1.normal { font-size: medium; }

BODY,TD,TH,H3,H4,H5,H6 { 
	font-family: Arial, Helvetica, sans-serif; 
}

PRE,CODE { 
	font-family: sans; 
	font-size: 100%;
}

A:hover { color: #FF3300; }
A.gray { color: #6f6f6f; }

.nav { color: #000000; text-decoration: none; }

.name { font-size: large; }
.tagline {
	font-size: medium;
	font-style: italic; 
	font-weight: bold; 
	color: #FFFFFF;
}


.referencelist, .footnote {margin-left: 1em; text-indent: -1em ; font-size: 83%;}
.scan {margin-left: 1em;}

.form {font-family: sans;}
.tiny {font-size: 70%;}