/* Font definitions */
body, h1, h2, h3, h4, h5, h6, p, table, td, caption, th, ul, ol, dl, li, dd, dt {font-family: sans-serif; font-size: 10pt }
pre          { font-family: monospace; font-size: 10pt }
h1           { font-size: 18pt; }	
h2           { font-size: 14pt; }
h3           { font-size: 11pt; }

/* Margins */
h1           { margin-top: 5; margin-bottom: 1 }	
h2           { margin-top: 25; margin-bottom: 3 }
h3           { margin-top: 20; margin-bottom: 3 }
h4           { margin-top: 20; margin-bottom: 3 }
h5           { margin-top: 0; margin-bottom: 0 }
p            { margin-top: 10px; margin-bottom: 10px }
pre	         { margin-left: 6 }
ul	         { margin-top: 0; margin-bottom: 10 }
li	         { margin-top: 0; margin-bottom: 0 } 
li p	     { margin-top: 0; margin-bottom: 0 } 
ol	         { margin-top: 0; margin-bottom: 10 }
dl	         { margin-top: 0; margin-bottom: 10 }
dt	         { margin-top: 0; margin-bottom: 0; font-weight: bold }
dd	         { margin-top: 0; margin-bottom: 0 }

/* Styles and colors */
a:link	     { color: #0000FF }
a:hover	     { color: #000080 }
a:visited    { text-decoration: underline }
h4           { font-style: italic }
strong	     { font-weight: bold }
em	         { font-style: italic }
var	         { font-style: italic }
th	         { font-weight: bold }
