body {
    font-family:Verdana;
    font-size:10pt;
    line-height:12pt;
    margin:10px 8%;
    padding:10px;
    text-align:justify;
}
#table-of-contents {
    background:none repeat scroll 0 0 #FFFFFF;
    border:1px solid #CCCCCC;
    color:black;
    display:block;
    float:right;
    font-size:80%;
    margin:1em -2em 1em 1em;
    padding:0.5em;
}
#table-of-contents a {
    color:#776655;
}
#table-of-contents a:hover {
    color:#554433;
    text-decoration:underline;
}
#table-of-contents li {
    margin:0.2em;
}
#table-of-contents h2 {
    border:medium none;
    margin-top:0.2em;
}
h1 {
    font-size:12pt;
}
.title {
    font-size: 14pt;
    border-bottom:1px solid #222222;
    color:#006600;
    margin-bottom:20px;
    padding-bottom:7px;
}
h2 {
    border-bottom:3px solid #DDDDDD;
    font-size:12pt;
    margin-bottom:5px;
    padding-bottom:4px;
}
h3 {
    color:#333333;
    font-size:11pt;
}
h4 {
    font-size:9pt;
}
a {
    color:#776655;
    text-decoration:none;
}
a:visited {
    color:#776655;
    text-decoration:none;
}
a:hover {
    color:#554433;
    text-decoration:underline;
}
.todo {
    color:#990000;
}
.done {
    color:#006666;
}
.timestamp-kwd {
    color:#444444;
}
.tag {
    color:#DDDDDD;
    font-size:70%;
    font-weight:500;
}
li {
    margin:0.4em;
}
table {
    border:medium none;
}
td {
    border:medium none;
    padding:0.1em 0.7em 0.1em 0.3em;
}
th {
    border:medium none;
}
code {
    font-size:100%;
}
img {
    border:medium none;
}
.share img {
    opacity:0.4;
}
.share img:hover {
    opacity:1;
}
pre {
    background-color:#EEEEEE;
    border:1px solid grey;
    color:black;
    padding:1.2em;
}
.builtin {
    color:#F4A460;
}
.comment {
    color:#737373;
}
.comment-delimiter {
    color:#666666;
}
.constant {
    color:#DB7093;
}
.doc {
    color:#B3B3B3;
}
.function-name {
    color:#5F9EA0;
}
.headline {
    background-color:#000000;
    color:#FFFFFF;
    font-weight:bold;
}
.keyword {
    color:#4682B4;
}
.negation-char {
}
.regexp-grouping-backslash {
}
.regexp-grouping-construct {
}
.string {
    color:#FFFACD;
}
.todo-comment {
    background-color:#000000;
    color:#FFFFFF;
    font-weight:bold;
}
.variable-name {
    color:#FF6A6A;
}
.warning {
    background-color:#CD5C5C;
    color:#FFFFFF;
    font-weight:bold;
}
pre.a {
    background-color:inherit;
    color:inherit;
    font:inherit;
    text-decoration:inherit;
}
pre.a:hover {
    text-decoration:underline;
}