h1, h2, h3 , .san {font-family: "Trebuchet MS", Verdana, Arial, sans-serif; }
	h1, h2 {color: rgb(80, 80, 80);}
body, *.srf {font-family: Palatino, "Book Antiqua", Times, Georgia, "Times New Roman", serif; }
body {background-color: rgb(232, 255, 255); margin-left: 20%;}
body{font-size: 12pt; }
h1 {font-weight: bold; font-size: 200%; margin: 0;
	text-align: center; border-bottom: navy; border-width: 0 0 1px 0; 
	border-style: none none solid none; }
h2 { border-top: navy; border-width: 1pt 0 0 0; border-style: solid none none none; }
h2.initial {margin-top: 0; border-style: none; }
p.footers {margin: 0; text-align: right; font: italic 75% serif;}
a {color: rgb(0,0,192); text-decoration: none;}

#banner {border-bottom: 2px solid rgb(64, 64, 64); margin-left: -25%;}

#principal {margin-left: 3px; padding-left: 10px; padding-right: 10px;}

#topTopics {border-style: none; width: 25%;
	padding: 0 5pt; float: left; clear: left;
	vertical-align: top; margin: 0 0 .5em -26%;}
	
#topTopics a.globalLink {margin: 0; display:block;  border-style: solid; 
	border-color: rgb(64,64,64);
	border-width: 0 2px 0 0px; padding: 0 5px 5px 7px; 
	font: bold 100% Arial, Verdana, sans-serif;
	color: rgb(0,0,128);
	background-color: rgb(224,232,232);
	padding-left: 1.1em; text-indent: -0.6em;}
	
#topTopics a.localLink {margin: 0; display: block; 
	border-style: solid; border-color: rgb(64,64,64); border-width: 0 2px 0 0;
	padding: 0 5px 5px 2.2em;
	text-indent: -0.7em;
	font: bold 80% Arial,Verdana, sans-serif;
	background-color: rgb(224,232,232);}
	
#topTopics a.ibidem {background-color: rgb(232,255,255); text-decoration: none;
	border-style: none;}

span.math {font-family:  Palatino, "Book Antiqua", Times, Georgia, "Times New Roman", serif; 
	font-style: italic; font-variant: normal; white-space:nowrap;}

span.ss {font-family: "Trebuchet MS", Verdana, Arial, sans-serif; font-style: italic; 
	font-variant: normal;}

span.title {font-style: italic;}

p.citation {text-indent: -2em; padding-left: 2em;}
p.aboveDisplay {margin-bottom: 0;}
p.belowDisplay {margin-top: 0;}

div.display {text-align: center;}

div.sideNote	{border-color: navy; border-width: 1px; border-style: solid;
	width: 20%; padding: 0 5pt; float: left; clear: left; 
	margin: .5em 1em .5em -25%;
	}
	
div.sideNoteRight	{border-color: navy; border-width: 1px; border-style: solid;
	width: 20%; padding: 0 5pt; float: right; clear: right; 
	margin: .5em 1em .5em 1em;
	}
	
div.sideNote p.side, div.sideNoteRight p.side {font-family: sans-serif; font-size: 80%; text-align: right;
	font-style: oblique; margin-top: 0; padding-bottom: 0;}
	
div.boxDiv	{border-style: solid; border-width:thin; padding: 0 0.5em; margin: 0 2em;
	}

div.pan { text-indent: -2em; padding-left: 2em;}

hr {clear: both; visibility: hidden;}

/* function names, in math*/
span.fn {font-style: normal; }

.hangindent {margin-left: 2em; text-indent: -2em;}