Content-type: text/css .sectiontitle { font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 16px; font-style: normal; line-height: normal; font-weight: bold; color: #000000; } td,p,li,dt,dd,blockquote { font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 12px; font-style: normal; line-height: normal; font-weight: normal; color: #000000; } .cite { font-family: Times New Roman, Times, serif; font-size: 16px; font-style: italic; } .citebold { font-family: Times New Roman, Times, serif; font-size: 16px; font-style: italic; font-weight: bold; } .menu { font-family: Arial, Helvetica, sans-serif; font-size: 18px; text-decoration: none; color: black; font-weight: bold; } .submenu { font-family: Arial, Helvetica, sans-serif; font-size: 16px; text-decoration: none; color: black; font-weight: bold; } .warning { font-size: 16px; color: black; font-weight: bold; } .attention { color: black; font-weight: bold; } .tablehead { background-color: #eeeeee; } .blue { color: black; } pre { font-family: Monospace, Courier New, Courier, sans-serif; font-size: 12px; font-style: normal; line-height: normal; font-weight: normal; color: #000000; } .prelink { font-family: Monospace, Courier New, Courier, sans-serif; font-size: 12px; font-style: normal; line-height: normal; font-weight: normal; color: #000000; } small { font-size: 10px; font-style: normal; line-height: normal; } a,b { font-family: Verdana, Arial, Helvetica, sans-serif; font-style: normal; line-height: normal; font-weight: bold; color: #000000; } .faqlink { font-weight: normal; } .flat_h { font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 14px; font-weight: bold; color: #002e93; } h1 { font-size: 22px; font-weight: bold; color: black; margin: 5px 0px 0px 0px; } h2 { font-size: 16px; font-weight: bold; color: black; margin: 5px 0px 0px 0px; } h3 { font-size: 16px; font-weight: bold; color: black; margin: 5px 0px 0px 0px; } h4 { font-size: 14px; font-weight: bold; color: black; margin: 5px 0px 0px 0px; } h5 { font-size: 12px; font-weight: bold; color: black; margin: 5px 0px 0px 0px; } .toc1 { text-decoration: none; font-size: 14px; } .toc2 { text-decoration: none; } .toc3 { text-decoration: none; font-weight: normal; } .toc4 { text-decoration: none; font-weight: normal; } .toc5 { text-decoration: none; font-weight: normal; } .stitle { text-decoration: none; color: black; } .swarning { text-decoration: none; color:#ff0000; } a:hover { color: black; } .exit1 { color: black; } #header { position: fixed; top: 0px; left: 0px; right: 0px; font-size: 10px; color: #002e93; background-color: #d6d8ff; vertical-align: middle; border-width: 0; border-bottom-width: 1px; border-color: #b3b5da; border-style: solid; z-index: 5; } #project_title { position: absolute; top: 0px; left: 4px; font-size: 15px; font-weight: bold; color: #002e93; } #page_title { position: absolute; top: 0px; left: 4px; color: #002e93; font-size: 10px; z-index: 10; } .site_nav { text-align: right; padding-right: 10px; } #header a { color: #002e93; font-family: Verdana, Arial, sans-serif; font-weight: normal; text-decoration: none; } #header a:hover { text-decoration: underline; } body { padding-top: 20px; } .donate_button { margin-left: 14px; padding: 4px; width: 100px; border: 1px solid black; font-size: 9px; } .donate_button img { padding: 0px; margin: 4px 0px 0px 0px; } .donate_button form { padding: 0px; margin: 4px 0px 0px 0px; } .paypal_button form { padding: 0px; margin: 5px 0px 0px 0px; } .paypal_button p { margin: 2px 20px 20px 0px; font-size: 9px; font-weight: bold; }