body { background: #d8d8d8; font-size: 10pt; } #content { position: absolute; top: 0px; left: 1em; background: #d8d8d8; font-size: x-small; width: 750px; } #content table { font-size: 10pt; margin: 0.5em 0em 0.5em 1em; } #content body { margin: 1em 1em 1em 1em; } td { font-size: 10pt; } input { font-size: x-small; } span.orange { background: orange; } textarea { font-size: x-small; } select { margin: 0.5em 0em 0.5em 1em; } span.small { font-size: smaller; } span.small-red { font-size: 10pt; color: Red; } span.small-green { color: Green; } div.small-green { font-size: smaller; color: Green; } span.path { color: Olive; font-family: monospace; } span.red { color: Red; } span.blue { color: blue; } span.note { color: Olive font-size: smaller; } # h3.new { margin-left: 1em } # div.section { margin-left: 2em; margin-top: 0 } # div.sub { margin-left: 1em; margin-top: 0 } # div.list { margin-left: 1em } # div.fn { margin-left: 1em; margin-top: 0 } # div.url { margin-bottom: 0 } # div.todo { font-size: small; } span.old { color: #448866 } span.hilight { color: #a05050; font-weight: bold; } span.xx-large { font-size: xx-large; } span.x-large { font-size: x-large; } span.large { font-size: large; } span.medium { font-size: medium; } span.small { font-size: small; } span.x-small { font-size: x-small; } span.xx-small { font-size: xx-small; } span.menu { font-size: small; } span.green { color: green; } h1 { background: #c0e0c0; } h2 { background: #c0d8c0; } h3 { background: #c0d0c0; } h4 { background: #c0c8c0; } pre { white-space: pre; color: white; background-color: #303030; padding: 0.1em 0.5em; border-color: #ddddff; border-style: inset; border-width: 1px; margin: 0.2em 0em 0.2em 1em; # E } span.SSS { FONT-SIZE: 8px; LINE-HEIGHT: 12px } span.SS { FONT-SIZE: 10px; LINE-HEIGHT: 14px } span.S { FONT-SIZE: 12px; LINE-HEIGHT: 16px } span.M { FONT-SIZE: 14px; LINE-HEIGHT: 18px } span.L { FONT-SIZE: 16px; LINE-HEIGHT: 20px } span.LL { FONT-SIZE: 18px; LINE-HEIGHT: 22px }