html, body {
    font-family: sans-serif;
    font-size: 12pt;
    color: #5f5f5f;
    background-color: #eeeeee;
}
body > div {
    width: 520px;
    background-color: white;
    padding: 2em;
    margin: 2em auto;
    border: 2px solid #cccccc;
    border-radius: 10px;
    box-shadow: 5px 5px 5px #888888;
}
h2, div.logo {
    color: gray;
    font-weight: normal;
    font-size: 18pt;
    text-align: center;
}
img.demo {
    vertical-align: middle;
}
span {
    font-weight: normal;
    font-size: 10pt;
    cursor: pointer;
}
li {
    margin: .3em 0;
}
p {
    margin: .5em 0;
}
p.err {
    margin: .7em 0;
}
p.err > span {
    font-size: 12pt;
    padding: .2em .4em;
    background-color: red;
    color: white;
}
span > em {
    font-weight: bold;
    font-style: normal;
}
div.docs {
    margin-top: 1.5em;
    text-align: center;
}
div.fork {
    float: right;
}
div.clr {
    clear: both;
}
a.back {
    text-decoration: none;
}
div.indent0 {
    padding-left: 0;
}
div.indent1 {
    padding-left: 1em;
}
div.indent2 {
    padding-left: 2em;
}
p.hilite {
    border: 1px solid #2775be;
    background-color: #c0daf2;
    color: #444444;
    padding: .5em .7em;
}
code {
    font-family: monospace;
    font-size: 12pt;
    color: #000000;
}