/* following font face declarations need to be removed for DBCS */ body, h1, h2, h3, h4, h5, h6, p, table, td, caption, th, ul, ol, dl, li, dd, dt {font-family: Arial, Helvetica, sans-serif; color: #000000} pre, code, tt { font-family: "Courier New", Courier, monospace;} /* end font face declarations */ @media print { html { font-size: 12pt } } body { font-size: 83%; background: #FFFFFF; margin-bottom: 1em } h1 { font-size: 180%; margin-top: 5px; margin-bottom: 1px } h2 { font-size: 140%; margin-top: 25px; margin-bottom: 3px } h3 { font-size: 110%; margin-top: 20px; margin-bottom: 3px } h4 { font-size: 100%; margin-top: 20px; margin-bottom: 3px; font-style: italic } p { margin-top: 10px; margin-bottom: 10px } pre { font-size: 93%; margin-left: 6; color: #4444CC } pre.code { background-color:#fffff7; border: 1px dashed #cccccc; padding: 2ex; margin-left:2em; margin-right:2em; margin-top: 1em; margin-bottom:1em; color: #000000 } code, tt { font-size: 93%; } table { font-size: 100% } /* needed for quirks mode */ a:link { color: #0000FF } a:hover { color: #000080 } a:visited { text-decoration: underline } ul { margin-top: 10px; margin-bottom: 10px; } li { margin-top: 5px; margin-bottom: 5px; } li p { margin-top: 5px; margin-bottom: 5px; } ol { margin-top: 10px; margin-bottom: 10px; } dl { margin-top: 10px; margin-bottom: 10px; } dt { margin-top: 5px; margin-bottom: 5px; font-weight: bold; } dd { margin-top: 5px; margin-bottom: 5px; } strong { font-weight: bold} em { font-style: italic} var { font-style: italic} div.revision { border-left-style: solid; border-left-width: thin; border-left-color: #7B68EE; padding-left:5 } th { font-weight: bold }