body, div, p, form, table {
	margin: 0 ;
	padding: 0 ;
	font-family: Verdana, Arial, Helvetica, sans-serif ;
	font-size: 12px ;
}

div.header {
	text-align: center ;
	font-size: large ;
	padding: 10 0 20 0 ;
}

div.text {
	padding: 0 0 20 0 ;
	line-height: 20px ;
}

div.code {
	padding: 10 0 40 20 ;
	font-family: courier ;
	display: block ;
	white-space: pre ;
	page-break-inside: avoid ;
}


div.bibliography {
	padding: 0 0 20 0 ;
}


font.keyword {
	color: green ;
}