/* Styles for documentation */
h1   {	font-family: Arial, Helvetica, sans-serif; font-size: 14pt; font-weight: bold; line-height:150%; 
	margin-left: 5px; margin-right: 5px; margin-top: 10px; margin-bottom: 3px }
h2   {	font-family: Arial, Helvetica, sans-serif; font-size: 14pt; font-weight: bold; line-height: 100%; 
	margin-left: 5px; margin-right: 5px; margin-top: 10px; margin-bottom: 3px }
h3   {	font-family: Arial, Helvetica, sans-serif; font-size: 12pt; font-weight: bold; line-height: 100%; 
	margin-left: 5px; margin-right: 5px; margin-top: 10px; margin-bottom: 3px }
body {	font-size: 12pt; text-align: justify}
ol   { margin-top: 0; margin-bottom: 0 }
ul   { margin-top: 0; margin-bottom: 0 }
li   { margin-top: 0; margin-bottom: 0 }
pre  { font-size: 10pt; line-height:10pt; margin-top: 1pt; margin-bottom: 1pt}