body {
	font-size: 9pt;
	color: #003399;
}
.title1 {
	font-size: 12px;
	font-weight: bold;
	color: #0000FF;
}
.bigTitle {
	font-size: 18px;
	font-weight: bold;
	color: #000000;
}
.example {
	border: 1px dotted #666666;
	background-color: #CCCCCC;
	color: #000000;
}