body{
	font: 8pt Arial;
}
h1{
	letter-spacing: 12px;
	font: 16pt Arial;
	color: #5050FF;
	border-bottom: 1px solid;
	margin: 10px;
	margin-top: 2px;
	margin-bottom: 4px;

}
h2{
	letter-spacing: 8px;
	font: 12pt Arial;
	color: #5050FF;
	margin:10px;
	margin-top: 2px;
	margin-bottom: 4px;
}
h3{
	letter-spacing: 6px;
	font: 10pt Arial;
	font-weight: normal;
	color: #5050FF;
	margin:10px;
	margin-bottom: 4px;
}
h4{
	letter-spacing: 4px;
	font: 8pt Arial;
	font-weight: normal;
	color: #5050FF;
	margin:10px;
	margin-bottom: 4px;
}
p, pre, div {
	margin: 10px;
	margin-left: 20px;
}

pre{
	background-color: #EFEFEF;
	font:8pt Verdana;		
}

div.spot{
	background-color: #EFEFEF;
	font: 8pt Arial;
}

div.spot p{
	margin-top: 0px;
	margin-bottom: 0px;
	margin-left: 2px;
}

div.engine_demonstration{
	padding: 2px;
	border: 1px solid #000000;
	background-color: #FFFF00;
	color: #000000;
	font: 8pt Arial;
}