body {
	background-color: white;
	font-family: Verdana,Arial,Helvetica; 
	font-size: 12px; 
	margin-top: 0px;
	margin-left: 10px;
	color: #000000;
}
a  {
	text-decoration: none;
	color: #C00000;
}
a:hover {
	text-decoration:underline;
}
td,p{
	font-size: 12px;
	font-family: Verdana,Arial,Helvetica;
}  

.navigation {
	text-align:left;
	width:100%; 
	height: 15px;
	font-size : 10px; 
	font-weight : bold;
	color: #000000;
	background-color: #F0F0F0;
}
.section-heading-1,.section-heading-2 {
	text-align: left;
	vertical-align: bottom;
	font-weight: bold;
}

.section-heading-1 {
	font-size : 20px; 
}
.section-heading-2 {
	font-size: 14px; 
}

.section-body-1 {
	text-align:left;
	margin-left: 10px;
}
.section-body-2 {
	text-align:left;
	margin-left: 10px;
}


.document-footer {
	text-align:right;
	font-size: 8px; 
}
.document-header {
	text-align:right;
	font-size : 16px; 
	font-weight: bold;
	color: #000000;
}
.document-title {
	text-align: left;
	font-size : 22px; 
	font-weight : bold;
	color: gray;
}
.document-attributes {
	text-align: left;
	font-size : 12px; 
	color: #000000;
}
.code, .example, .note, .warning {
	margin: 2px 2em 2px 2em;
}
.code {
	border: 1px solid #4AAF48;
	padding: 1px;
	background-color: #E3EFE4;
	color: #000000;
	font-size : 11px;
	font-family: Courier, Courier New, sans-serif; 
	color: #800000;
}
code {
	font-family: Courier, Courier New, sans-serif; 
	color: #800000;
}
.example {
	border: 1px solid #cccccc;
	padding: 1px;
	background-color: #F0F0F0;
	color: #000000;
	font-size : 10px;
}
.note {
	border: 1px solid #cccccc;
	padding: 1px;
	background-color: #F0F0F0;
	color: #000000;
	font-size : 10px; 
}
.warning {
	padding: 1px;
	border: 1px solid #ffc9c9;
	background-color: #FFE8E8;
	color: #000000;
	font-size : 10px; 
}
.figuresmall {
	float: right;
	width: 25%;
	min-width: 150px;
	border: thin silver solid;
	margin: 0.5em;
	padding: 0.5em;
}
.figurelarge {
	text-align: center;
	width: 90%;
	min-width: 530px;
	border: thin silver solid;
	margin: 0.5em;
	padding: 0.5em;
}
.caption {
	text-align: center;
	font-style: italic;
	font-size: smaller;
	text-indent: 0;
}