body {font-family: Palatino, serif; font-size: 15pt}
* {font-family: Palatino, serif; background: white}
div.banner, div#what-s-next, p.Credits {display: none}
div.content {background: white; width: 150%; padding: 0; margin: 0}
code {font-family: "Monaco", "Bitstream Vera Sans Mono", "Courier"}
div.Abstract {margin: 1em 2em; background: white; color: black; font-style: italic; width: 100%; -webkit-box-shadow: none; -moz-box-shadow: none}
div.Abstract p {margin: .3em 0; padding: 0; font-family: Palatino, serif; font-style: normal}
div.Abstract blockquote p {margin-left: 0; margin-right: 4em}
h1 {text-shadow: none}
h2, h3, h4 {page-break-before: avoid}
h2 {margin-left: .3em}
h3 {margin-left: .7em}
h4 {margin-left: .9em}
p, ul, ol, dl {margin-left: 2em; margin-right: 0em; max-width: 300em}
div.side-note {page-break-after: avoid}
.command-box, .source-code-box, .output-box, .sample-box {margin-left: 2.5em; border: 1px dotted #888; background: white; color: black}