<html><head><meta name="color-scheme" content="light dark"></head><body><pre style="word-wrap: break-word; white-space: pre-wrap;">H1.title {
	color: black;
	font-family: arial, sans-serif;
	font-size: 72pt;	
	font-weight: bold;
}

H2.title1 {
	font-family: arial, sans-serif;
	font-size: 22pt;
	color: #2F4F4F;
	font-weight: normal;
}

H2.title2 {
	font-family: "Courier New", courier, monospace;
	font-size: 28pt;
	color: 	#C0C0C0;
	font-weight: normal;
}

H2.bottom {
	font-family: times, serif;
	font-weight: normal;
	font-size: 12pt;
	line-height: 14pt;	
	margin-top: 1em;
	margin-bottom: 0em;
	text-align: center;
}

H3.bottom {
	font-family: times, serif;
	font-weight: normal;
	font-size: 10pt;
	line-height: 12pt;
	margin: 0.5em;
	text-align: center;	
}

H3.graytitle{
	font-family: sans-serif;
	font-size: 12pt;
	line-height: 12pt;
	margin-top: 2em;
	margin-bottom: -0.2em;	
}

H2.subtitle {
	font-family: sans-serif;
	font-size: 14pt;
	font-weight: bold;
	margin-top: 2em;
	margin-bottom: 0.8em;
}

a, a:visited {
	text-decoration: none;
	color: Navy;
	background: inherit;
}

a:hover {
	color: Navy;
	background: inherit;
	text-decoration: underline;
}

#full_page {
	margin: auto;
	width: 650px;
	border: thin dotted #080808;
	background-color: white;
}

#background {
	background-color: #d3d3d3;
}	

li.paper {
	margin-bottom: 20px
}

li.people {
	margin-bottom: 10px
}

UL {	
	font-family: serif, times;
	font-size: 11pt;
	text-align: left;	
}

#support {
	font-size: 10pt;
}

#approach {
	font-size: 10pt;	
}

span.smalltitle{
	font-family: times, serif;
	font-size: 16pt;
	text-align: left;	
}

table.main_menu {
	margin-top: 2em;
	margin-left: 4em;
}	

hr {
	color: white;
	background-color: white;
	border: thin dotted #080808;
}

#floatright {
	float: right;
	margin-left: 2.0em;
	margin-bottom: 0.5em;	
	width: 250px;
	font-size: 8pt;
	text-align: left;
}

p.smallsize {
	font-size: 8pt;
	text-align: justify;	
}

td.header{
	font-family: arial, sans-serif;	
	font-size: 11pt;
	width: 40px;	
}

</pre></body></html>