body {background-color:lightyellow}
p {margin-left:10pt}
h1,h2,h3 {color:white;background-color:#c41010}
span.normal {color:black;background-color:lightyellow}
span.cmd {color:black;background-color: khaki}
span.prompt {color:brown;background-color: khaki}
span.note {font-weight:bold;color:red}
span.param {font-weight:bold;color:red}
span.src {background-color:#d0ffd0}
span.result {background-color:#ffd0d0}
span.red {color:red}
span.n {background-color: #e0e0ff}
span.hidden {color:lightyellow}
span.title {color:#808080;text-decoration:underline}
div.cmd {margin-left:20pt;background-color: khaki}
div.prompt {margin-left:20pt;color:brown;background-color: khaki}
div.src {margin-left:20pt;background-color:#d0ffd0}
div.result {margin-left:20pt;background-color:#ffd0d0}
div.smallnote {margin-left:10pt;color:saddlebrown;font-size:10pt}
div.box {border: 1px green solid; padding: 5pt}
div.normal {margin-left:20pt;color:black;background-color:transparent}
div.break {margin-left:10pt;border: 1px lightyellow solid; padding:5pt;background-color:peachpuff}
div.title {margin-left:20pt;color:#808080;text-decoration:underline}
div.lbox {float: left; width: 40%; border: 1px green solid; padding: 5pt}
div.rbox {float: right; width: 40%; border: 1px green solid; padding: 5pt}
/*pre.src {margin-left:20pt;border:1px #b0ffb0 solid;background-color:#d0ffd0}*/
pre.src {margin-left:20pt;background-color:#d0ffd0}
pre.result {margin-left:20pt;background-color:#ffd0d0}
pre.prompt {margin-left:20pt;color:brown;background-color: khaki}
pre.title {margin-left:20pt;text-decoration:underline;background-color:#f0f0ff}
table.a {margin-left:20pt}
td.src {background-color:#d0ffd0}
td.result {background-color:#ffd0d0}
td.break {background-color:peachpuff}
address {border:2px #a0d0ff solid}
