body { 
	font-family: Arial, Helvetica, sans-serif;  
    background-color: #F9F9F9;
	margin: 0px; } 

body.print { 
	font-family: Arial, Helvetica, sans-serif;  
    background-color: #FFFFFF;
	margin: 0px; } 
	
div.body {
	margin: auto;
	max-width: 65em; }

div.bodyprint {
	margin: auto;
	max-width: 45em; }	
	
td.contents {             /*will be phased out, replacement is td.navigation */
	vertical-align: top; 
	width: 20%; }
	
td.navigation {
	vertical-align: top; 
	width: 20%; }

div.contents {             /*will be phased out, replacement is div.navigation */
	padding: 10px;
	background-color: #F9F9F9; 
	font-size: 90%; }

div.navigation {
	padding: 10px;
	background-color: #F9F9F9; 
	font-size: 90%; }

	
div.contenthead {
	padding: 10px; 
	background-color: #EFEFEF; }

div.contentlist {
	padding-top: 5px; 
	padding-left: 10px; 
	padding-bottom: 25px; 
	padding-right: 10px; }
	
td.article {
	vertical-align: top;               
	background-color: #EFEFEF; } /* Will be phased out, background is defined in div.article */

div.switch {
	padding: 10px 10px 10px 10px;
	background-color: #EFEFEF; }	

div.article {
	background-color: #EFEFEF;
	padding-top: 10px; 
	padding-left: 2%; 
	padding-bottom: 30px; 
	padding-right: 2%;
	color: #404040; }
	
div.articleprintopt {
	background-color: #FFFFFF;
	padding-top: 10px; 
	padding-left: 2%; 
	padding-bottom: 30px; 
	padding-right: 2%;
	color: #000000; }	

h2 { margin-top: 50px; }
h3 { margin-top: 30px; margin-bottom: 20px;}
h4 { margin-top: 20px; margin-bottom: 10px;}
h5 { margin-top: 10px; margin-bottom: 5px;}

div.image {
	margin: 0px 10px 5px 20px;
	border: 1px solid #CCCCCC;
	background-color: #F9F9F9;
	padding: 3px;
	float: right;
	clear: right; }
/*
div.image258 {     
	width: 258px;
	margin: 0px 10px 5px 20px;
	border: 1px solid #CCCCCC;
	background-color: #F9F9F9;
	padding: 3px;
	float: right;
	clear: right; }
*/
	
div.image256 {      /* will replace div.image258 */
	width: 258px;
	margin: 0px 10px 5px 20px;
	border: 1px solid #CCCCCC;
	background-color: #F9F9F9;
	padding: 3px;
	float: right;
	clear: right; }
	
/*
div.image514 {    
	width: 514px;
	margin: 0px 10px 5px 20px;
	border: 1px solid #CCCCCC;
	background-color: #F9F9F9;
	padding: 3px;
	float: right;
	clear: right; }
*/
	
div.image512 {   /* will replace div.image514 */
	width: 514px;
	margin: 0px 10px 5px 20px;
	border: 1px solid #CCCCCC;
	background-color: #F9F9F9;
	padding: 3px;
	float: right;
	clear: right; }
	
img.border {
	border: 1px solid #CCCCCC; }

img.padding {
	background-color: #FFFFFF;
	padding-left: 128px; 
	padding-right: 128px;
	border: 1px solid #CCCCCC; }

div.caption {
	margin: 5px 3px 5px 3px;
	font-size: 90%; }

div.equation {
	margin-left: 40px; }

a:link {color: #555599;}
a:visited {color: #885588;}
a:hover {background: #DDDDDD;}