body {
    margin: 50px 100px;
    padding: 0;
    background-color: #FFFFFF;
    font-family: sans-serif;
    font-size: 12pt;
}

h1, h2, h3, h4, h5 {
    background-color: #E8E8FF;
    padding: 5px 10px;
    border-radius: 5px;
}

h1 {
    margin: 0;
}

h2 {
    margin: 4em 0 1em 0;
    border-bottom: 1px dotted #CCC;
}

h3 {
    margin: 3em 0 1em 0;
    border-bottom: 1px dotted #CCC;
}

h4 {
    margin: 2em 0 0.5em 0;
}

h5 {
    margin: 1em 0 0.5em 0;
    padding-left: 25px;
    font-size: 100%;
    background-color: #F0F0F0;
}

hr {
    border: none;
    border-top: 1px solid #AAA;
    margin: 20px 0;
}

#contents {
    max-width: 1000px
}

#toc {
    max-width: 1000px;
}

#toc ul {
    margin: 2px 0;
    padding-left: 2em;
    list-style-type: none;
    list-style-position: inside;
    border-left: 1px dotted #CCC;
}

#toc li {
    border-left: 3px solid #CCC;
    padding: 3px 3px 3px 8px;
    position: relative;
    left: -1px;
}

code {
    display: block;
    font-family: monospace;
    border: 1px solid #DDD;
    background-color: #F8F8F8;
    padding: 10px 10px;
    white-space: pre-wrap;
}

ul {
    list-style: none;
    list-style-position: inside;
    margin: 0 20px;
    padding: 0;
}

ul li, ol li {
    margin: 4px 0;
}

#toc li {
    margin: 2px 0;
}

span.logo {
    font-weight: bold;
    font-style: italic;
}

a:link, a:visited {
    color: #00F;
    text-decoration: none;
}

a[href]:hover, a[href]:active {
    color: #08F;
    text-decoration: underline;
}

table.classes {
    border-collapse: collapse;
}

table.classes th {
    text-align: right;
    font-family: monospace;
    font-weight: bold;
    color: #888;
    width: 150px;
    vertical-align: top;
    background-color: #F8F8F8;
    vertical-align: middle;
}
table.classes th, table.classes td {
    border: 1px solid #EEE;
    padding: 5px;
}
table.wide th {
    width: 250px;
}

table.classes td p {
    margin: 0.25em 0 0.25em 0;
}

tt {
    border: 1px solid #CCC;
    background-color: #F0F0F0;
    padding: 1px;
    margin: 1px 2px;
    display: inline-block;
    font-size: 11pt;
}

p img {
    display: inline-block;
    margin: 0 auto;
    border: 2px solid #CCC;
}