* { margin: 0; padding: 0 /*; border: 1px dashed red */ }
ul, ol, dd { margin-left: 2em }
#panel, #contents { position: fixed; width: 225px }
#panel { left: 2em; top: 0; bottom: 0 }
#contents { top: 221px; bottom: 0; overflow: auto }
#logo { margin: 50px }
#intro, #content { margin-left: 225px }
#intro { margin-top: 2em; margin-bottom: 2em; margin-right: 2em }
#content { padding-left: 1em; padding-right: 1em }
hr { margin: 2em 100px 2em 300px }
body { background: #fefefe; color: black; padding: 2em 4em; font-family: sans-serif }
h1 { color: maroon }
#intro q { font-style: italic; font-weight: bold; color: maroon }
#intro q.page { font-style: italic; font-weight: normal; color: navy }
h2, h3 { color: #003 }
h2, h3, h4, h5, h6 { font-family: 'Times New Roman', serif }
h2, h3, h4, h5, h6, p { margin: 2ex 0 }
#reference h3 { background: #ececec; padding: 0.125em 0.25em }
p, li { text-align: justify }
h2 { margin-top: 1em; padding: 0.5ex }
h4 { font-style: italic; color: navy; font-variant: small-caps }
.methods h4, .classes h4, h4 code { font-style: normal; font-variant: normal; font-family: monospace }
span.comment { color: #008000 }
span.marker { color: #0000ff }
span.element, code.element, col.element { color: #606000; font-family: monospace }
span.attrib, code.attrib { color: #800040 }
span.string { color: #ff00ff }
span.number { color: #cc00cc }
span.keyword, code.keyword { color: #0000ff }
span.class, code.class, col.class { color: #990000; font-family: monospace }
span.optional { font-size: small; font-style: italic; color: #aaaaaa }
span.highlight { font-weight: bold; font-size: 110% }
pre { border: 1px solid silver; padding: 1em; overflow: auto; background: white; }
table { border-collapse: collapse; }
th, td { border: 1px solid silver; padding: 0.25em }
th { color: black; font-family: sans-serif; text-align: left }
#contents h2 { text-align: center; margin: 0; color: maroon; font-family: sans-serif }
#contents li { font-weight: normal; padding: 0.25ex 0 }
#contents li li { font-size: 90% }
#contents li li li { font-size: 80% }
#contents li { text-align: left }
ul li { margin: 0.75ex 0 }
dt { font-weight: bold }
dd { margin-bottom: 0.5em }
#contents a img { border: 1px white solid; border-radius: 3px }
#contents a img:hover { border: 1px silver outset }
dl { margin-left: 1em }
.noscript { padding: 0 1em; font-size: 9pt; font-style: italic }
div.callout { border: 1px solid gray; margin-left: 1em; padding: 0 1em; font-style: italic; background: #ddd; float: right; width: 15em; font-size: 95% }
div.callout p:before { content: "Note"; font-weight: bold; display: block; margin-bottom: 0.25em }
p.warning:before { content: "Warning!"; font-weight: bold; font-size: 80% }
p.warning { border: 1px solid silver; background: #ffff77; padding: 0.5em }
q { font-style: italic }