body { font-family: Verdana, Arial, Helvetica, sans-serif; background-color: lightgrey; } img { border: 0; } img.ss { border: 0; float: left; } h1, h2 { border: 1px solid yellow; } h1 { background-color: #006600; color: white; font-family: Arial, Helvetica, sans-serif; padding: 4px; text-align: center; } h2 { background-color: #e4e4e4; color: black; padding: 2px; padding-left: 15px; } h1 span.chapter { font-size: 48px; } li.r1 { color: black; padding: 2px; background-color: silver; } li.r2 { color: black; padding: 2px; background-color: #e0e0e0; } div.toc { background-color: #ffffff; color: black; font-family: Verdana, Arial, Helvetica, sans-serif; font-weight: bold; font-size: 24px; padding: 4px; border: 2px solid silver; } pre { font-family: courier, Verdana; font-size: 12px; background-color: #E0E0E0; color: black; padding: 4px; border: 1px dashed red; margin-bottom: 0; } pre.code { font-family: courier, Verdana; font-size: 12px; background-color: #EEEEEE; color: black; padding: 4px; border: 1px solid red; } pre.out { font-family: Arial, Verdana; font-size: 12px; background-color: #EEEEEE; color: black; padding: 4px; border: 1px solid red; } div.fig { font-weight: bold; font-size: 9px; text-align: right; } div.important { margin-top: 1em; padding: 2px; border: 1px solid red; background-color: #FFCC66; font-size: 9pt; } .hl-main {font-family: monospace; font-size:13px;} .hl-gutter { background-color: #CCCCCC; padding-right: 10px; font-family: monospace; font-size:13px;} .hl-table {border: solid 1px #000000; } .hl-default { color: #000000; } .hl-code { color: #7f7f33; } .hl-brackets { color: #009966; } .hl-comment { color: #7F7F7F; } .hl-quotes { color: #00007F; } .hl-string { color: #7F0000; } .hl-identifier { color: #000000; } .hl-reserved { color: #7F007F; } .hl-inlinedoc { color: #0000FF; } .hl-var { color: #0066FF; } .hl-url { color: #FF0000; } .hl-special { color: #0000FF; } .hl-number { color: #007F00; } .hl-inlinetags { color: #FF0000; }