body { background-color: #ffffff; font-family: Verdana; font-size: 11pt; } h1 { font-family: Courier New; text-align: right; font-weight: bold; font-size: 20pt; color: #808080; padding-right: 1ex; padding-top: 1ex; } h2 { color: #a0a0a0; padding-top: 2em; font-size: 14pt; font-weight: bold; } p.desc, p.quote { color: #202020; font-style: italic; font-family: Courier New; } h3 { color: #808080; font-family: Courier New; font-size: 14pt; text-decoration: underline; padding-left: 8px; } div.rule { font-family: Courier New; font-size: 13pt; text-decoration: underline; font-weight: bold; } div.page { text-align: center; } div.def { padding-left: 48px; padding-bottom: 8px; padding-right: 48px; } div.def b { text-decoration: underline; } div.nav { width: 100%; text-align: right; color: #5f5f9f; margin-top: 2em; margin-bottom: 2em; } div.nav a, div.nav a:hover, div.nav a:visited { color: #8f8fff; text-decoration: none; } div.nav a:hover { text-decoration: underline; } img { float: right; margin: 16px; } div.head img { float: none; margin: 0; } div.nav img { border: 0; padding: 0; float: none; } p { padding-left: 32px; padding-right: 32px; text-align: justify; } span.f { font-size: 16pt; font-weight: bold; color: #a0a0a0; } ul { padding-left: 32px; padding-right: 32px; color: #404040; } pre.code, span.code { font-family: Courier New; color: #808080; } pre.code { padding-left: 64px; }