/* 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: 9pt }pre				{ font-family: monospace; font-size: 9pt }/* Margins */body	     { overflow: auto; margin-top: 0; margin-bottom: 4; margin-left: 3; margin-right: 0 }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 }