/* --------- COMMON ------------- */

body {

	margin: 15px;
	padding: 0px;
/*	font: 13px arial,helvetica,clean,sans-serif; */
	font-family: Arial, Helvetica, sans-serif;
	font-size: 9pt;
	color: #444;
	text-align: left;
	background-color: #EEE;
	line-height: 1.3;
}


/* --------- HEADER ------------ */

#header {
	margin: 0px;
	padding: 10px 20px 10px 20px;
	background-color: #dfd;
	border-bottom: #003300 solid 1px;
	border-right: #999 solid 3px;
}

#header p{
/*    font-family: "Times New Roman", Times, serif;  */
    
}

#header h1 {
	/* font-family: Arial, Helvetica, sans-serif; */
	font-family: "Times New Roman", Times, serif;
    font-size: 180%;
}

/* ------------ CONTENT ----------------- */

#content {
	margin: 0px;
	padding: 10px 20px 10px 20px;
	background-color: #FFFFFF;
	border-bottom: #999 solid 2px;
	border-right: #999 solid 2px;
}

#content p{
	margin: 0px 20px 0.5em 25px;
}

#content table{
	margin: 20px 20px 20px 40px;
	font-size: 9pt;
	border-top: #999 solid 1px;
	border-bottom: #999 solid 1px;
}



#content td{
	padding: 5px 10px 5px 10px;
	border-top: #ddd solid 1px;
}

#content th{
	padding: 5px 10px 5px 10px;
	font-weight: bold;
	background-color: #eee;
}

#content pre{
	font:"Courier New", Courier, mono;
	margin-left: 40px;
	margin-right: 40px;
	padding: 10px 10px 10px 15px;
	border: #999 dotted 1px;
	background-color: #eee;
}

.reference p{
	padding-left: 1em;
	text-indent: -1em;
}

.figure {
	margin: 20px 30px 20px 30px;
	padding: 10px 10px 10px 10px;
	background-color: #eee;
	border: #ccc solid 1.5px;
	width: 290px;
	float:right;
}

.figure p{
	margin: 0px 0px 0.5em 0px;
	line-height: 1.0;
}

#content h1 {
	font-size: 160%;
	margin: 1.2em 0px 0.2em 0px;
}

/* ----------- FOOTER ----------------*/

#footer {
	margin: 0px;
	padding: 5px 10px;

}

/*


body {
    font-family: Arial, Helvetica, sans-serif;
    margin-left: 20px;
}

p {
    margin-left: 10px;
}

h1 {
    font-family: "Times New Roman", Times, serif; 
    font-size: 30px;
}

h2 {
    font-family: "Times New Roman", Times, serif; 
    font-size: 25px;
}

h3 {
    font-family: "Times New Roman", Times, serif; 
    font-size: 20px;
}

*/