1/* Font definitions */ 2html { font-family: 'Segoe UI','Verdana','Helvetica',sans-serif; font-size: 9pt; font-style: normal; font-weight: normal; } 3body, h1, h2, h3, h4, h5, h6, p, table, td, caption, th, ul, ol, dl, li, dd, dt { font-size: 1em; } 4pre { font-family: monospace; } 5 6/* Margins */ 7body { overflow: auto; margin-top: 0px; margin-bottom: 0px; margin-left: 0.3em; margin-right: 0.3em; } 8div { margin: 0px; } 9h1 { margin-top: 0.3em; margin-bottom: 0.04em; } 10h2 { margin-top: 2em; margin-bottom: 0.25em; } 11h3 { margin-top: 1.7em; margin-bottom: 0.25em; } 12h4 { margin-top: 2em; margin-bottom: 0.3em; } 13h5 { margin-top: 0px; margin-bottom: 0px; } 14p { margin-top: 0em; margin-bottom: 0em; } 15pre { margin-left: 0.6em; } 16ul { margin-top: 0px; margin-bottom: 1em; } 17li { margin-top: 0px; margin-bottom: 0px; } 18li p { margin-top: 0px; margin-bottom: 0px; } 19ol { margin-top: 0px; margin-bottom: 1em; } 20dl { margin-top: 0px; margin-bottom: 1em; } 21dt { margin-top: 0px; margin-bottom: 0px; font-weight: bold; } 22dd { margin-top: 0px; margin-bottom: 0px; } 23 24/* Styles and colors */ 25a:link { color: #0000FF; } 26a:hover { color: #000080; } 27a:visited { text-decoration: underline; } 28a.header:link { text-decoration: none; color: InfoText } 29a.header:visited { text-decoration: none; color: InfoText } 30a.header:hover { text-decoration: underline; color: #000080; } 31h4 { font-style: italic; } 32strong { font-weight: bold; } 33em { font-style: italic; } 34var { font-style: italic; } 35th { font-weight: bold; } 36