body {
    margin: 0px;
    padding: 0px;
    text-align: justify;
    font-family: Optima, Arial, Helvetica, sans-serif;
    font-size: 11pt;
}
#canvas {
    width: 700px;
    margin: 20px auto;
}
#nav {
    background-color: #ddeeee;
    padding: 1ex 30px;
    text-align: center;
}
#nav p {
    margin: 0px;
}
#topic {
    font-weight: bold;
    font-size: 140%;
    color: #48005e;
    padding: 2ex 30px;
    text-align: center;
}
#content {
    width: 630px;
    background-color: #ffffff;
    padding: 20px 30px;
}
#name {
    font-size: 22px;
    font-weight: bold;
}
#content h1 {
    padding: 0px;
    font-size: 28px;
    font-weight: 200;
    color: #48005e;
}
#content h2 {
    font-size: 1.5em;
    font-weight: 200;
    color: #48005e;
}
img {
    display: block;
    margin-left: auto;
    margin-right: auto;
}
iframe {
    display: block;
    margin-left: auto;
    margin-right: auto;
}
.figure {
    float: right;
    width: 220px;
    margin-bottom: 1ex;
}
.figure .caption {
    text-align: center;
    font-family: sans-serif;
    margin: 0px;
    font-size: 80%;
}
a {
    font-weight: bold;
    text-decoration: none;
    color: #48005e;
}
a img {
    border: none;
}
a:hover {
    text-decoration: underline;
    color: #6a227f;
}
#contact {
    float: left;
    width: 630px;
    font: 13px/22px Optima, Arial, Helvetica, sans-serif;
}
li {
}
pre.sourceCode {
    padding: 10px;
    background-color: #f2f2f2;
    border-radius: 7px;
}
table.sourceCode,
tr.sourceCode,
td.lineNumbers,
td.sourceCode,
table.sourceCode pre {
    margin: 0;
    padding: 0;
    border: 0;
    vertical-align: baseline;
    border: none;
}
td.lineNumbers {
    border-right: 1px solid #aaaaaa;
    text-align: right;
    color: #aaaaaa;
    padding-right: 5px;
    padding-left: 5px;
}
td.sourceCode {
    padding-left: 5px;
}
pre.sourceCode span.kw {
    color: #007020;
    font-weight: bold;
}
pre.sourceCode span.dt {
    color: #902000;
}
pre.sourceCode span.dv {
    color: #40a070;
}
pre.sourceCode span.bn {
    color: #40a070;
}
pre.sourceCode span.fl {
    color: #40a070;
}
pre.sourceCode span.ch {
    color: #4070a0;
}
pre.sourceCode span.st {
    color: #4070a0;
}
pre.sourceCode span.co {
    color: #60a0b0;
    font-style: italic;
}
pre.sourceCode span.ot {
    color: #007020;
}
pre.sourceCode span.al {
    color: red;
    font-weight: bold;
}
pre.sourceCode span.fu {
    color: #06287e;
}
pre.sourceCode span.re {
}
pre.sourceCode span.er {
    color: red;
    font-weight: bold;
}
.ob {
    display: none;
}
#toc {
    background-color: #ddeeee;
    padding: 1ex 1em;
    position: fixed;
    top: 20px;
    right: 20px;
    width: 200px;
    text-align: left;
}
#toc li {
    list-style-type: none;
}
#toc li a {
    font-weight: normal;
}
#toc ul {
    padding-left: 0px;
    margin: 0px;
}
#toc > ul > li {
    margin-top: 1ex;
}
#toc > ul > li:first-child {
    margin-top: 0ex;
}
#toc > ul > li > a {
    font-weight: bold;
}
#toc ul ul ul {
    padding-left: 2em;
}
@media (max-width: 1220px) {
    #toc {
        display: none;
    }
}
@media print {
    #nav,
    #footer,
    .noprint {
        display: none;
    }
    body {
        font-family: serif;
        font-size: 10pt;
    }
    #canvas {
        width: initial;
    }
}
table,
th,
td {
    border: 1px solid black;
    border-collapse: collapse;
}

th,
td {
    text-align: center;
    padding: 5px 10px;
}