body {font-family:arial; font-size:10pt; margin-top:0pt; margin-left:15px; margin-right:15px; 
	text-align:left; color:#000000}
	
	div#container {width:95%;}
	
	div#menu {width:18%;float:left;}
	
	div#content {width:75%;margin-left:230px;}
	

	
td, th, caption {font-family:arial; font-size:10pt}
.format {font-family:arial; font-size:10pt}
.output {font-family:times new roman; font-size:12pt}

br.break {display:block; page-break-after:always}

a:link, a:visited, a:active {text-decoration:none; color:#4169E1}
a:hover {text-decoration:underline; color:#FF0000}

.head1 {background-color:#4169E1; font-family:times new roman; font-weight:bold; 
	font-size:24pt; color:#FFFFFF; margin-top:7px; text-align:center; padding:5px}
.head2 {font-family:times new roman; font-size:14pt; font-weight:bold; color:#4169E1; 
				margin-top:20px; margin-bottom:-10px}
.head3 {font-family:times new roman; font-size:12pt; font-weight:bold; color:#4169E1;
				margin-bottom:-10px}
.head4 {font-family:times new roman; font-size:10pt; color:#4961E1; text-align:right}

.style {color:orangered}

.figure {margin-top:7px}
.listing {margin-top:-10px}

.divhead {background-color:#4169E1; font-family:times new roman; font-size:18pt; color:#FFFFFF; padding:6px; text-align:center; margin-top:5pt}
.code {font-family:courier new; font-size:9pt}
.script {font-family:courier new; font-size:9pt; color:#FF0000}
.text {font-family:times new roman; font-size:12pt}
.divcode {background-color:#ECECEC; padding:10px; font-family:monospace; font-size:9pt; color:#000000; text-align:left}
.divscript {background-color:F0F0F0; padding:10px; text-align:left; letter-spacing:0; font-family:courier new; font-size:9pt; color:red}
.divtext {padding:10px; font-family:times new roman; font-size:12pt; text-align:left; border:solid 1}

.button	{font-family:arial,helvetica; font-size:9pt; width:100px; background-color:gainsboro; color:black;
	cursor:hand}
.buttonS	{margin-top:3px; font-family:arial,helvetica; font-size:9pt; width:85px; background-color:#4169E1; color:#FFFFFF}