body {
	background-color: #FFFFFF;
	font-family: Verdana, Arial, Helvetica, sans-serif;
	font-size: 10pt;
}

td {
	font-family: Verdana, Arial, Helvetica, sans-serif;
	font-size: 10pt;
}

pre {
	font-family: Verdana, Arial, Helvetica, sans-serif;
	font-size: 10pt;
}

.article_header {
	font-size: 10pt;
	font-weight: bold;
	color: #ED9A3F
}

.article_subheader {
	font-size: 10pt;
	font-weight: bold
}

.top_link {
	font-size: 8pt;
	color: blue;
}

.code {
	background-color: #EEEEEE;
	font-family: Courier New;
	font-size: x-small;
	margin: 5px 0px 5px 0px;
	padding: 5px;
	border: black 1px dotted;
	font-size: 8pt;
}

.code2 {
	background-color: #FFFFEF;
	margin: 5px 0px 5px 0px;
	padding: 5px;
	border: black 1px dotted;
}