table.simple-table { border-width: medium; border-collapse: collapse;
                     border-style: none none double none; }
table.simple-table th { border-style: none none double none; }
table.simple-table td { text-align: left; }
.code { font-family:'Courier New',Courier,monospace; overflow: auto; text-align: left; }
code.lineno { font-family:'Courier New',Courier,monospace; overflow: auto; text-align: left; counter-reset: lineno; }
code.lineno p:before { counter-increment: lineno; content: counter(lineno) ". "; }
.symbol { font-family:'Courier New',Courier,monospace; }
.constant { font-family:'Courier New',Courier,monospace; font-style: normal; }
.keyword { color: green; font-family:'Courier New',Courier,monospace; font-style: normal; font-weight: bold;}
.comment { font-style: italic; color: grey; }
.wide {  font-size: small; }
.figure-left { float: left; border-width: thick; margin: 2em; margin-top: 0em; }
.figure-left caption { font-weight: bold; caption-side: bottom; text-align: center; }
.figure-right { float: right; border-width: thick; margin: 2em; margin-top: 0em; }
.figure-right caption { font-weight: bold; caption-side: bottom; text-align: center; }
.figure-inflow { border-width: thick; margin: 2em; text-align: center; }
.figure-inflow caption { font-weight: bold; caption-side: bottom; }
ol ol > LI { list-style-type: lower-alpha; }
def, em.def { font-style: italic; }
.math { font-style: oblique; }
div.math { margin: 2ex 3em; }
.note { background: white; margin: 1ex 3em; padding: 1ex 1em 1ex 1em; }
.note:before { content: "Note. "; font-weight: bold; }
.sidebar { background: beige; margin: 2ex 5em; padding: 1ex 1em; border-width: thick; border-style: double; }
.sidebar h1 { text-align: center; }
.sidebar h2 { text-align: center; }
.sidebar h3 { text-align: center; }
h1 { }
h2 { font-size: large; }