body {
    margin: 10px 8% 10px 8%;
    font-family: Verdana;
    text-align: justify;
    font-size: 90%;
    padding: 10px;
    line-height: 12pt;
}

#table-of-contents {
    color: black;
    background: #FFF;
    font-size: 80%;
    padding: .5em;
    margin: 1em -2em 1em 1em;
    float: right;
    display: block;
    border: 1px solid #CCC;
}

#table-of-contents a  {
    color: #003333;
}

#table-of-contents a:hover {
    color: #003333;
    text-decoration: underline;
}

#table-of-contents li  {
    margin: .2em;
}

#table-of-contents h2 {
    margin-top: .2em;
    border: none;
}

h1 {
    font-size: 1.5em;
}

.title {
    color: #ff4030;
    padding-bottom: 7px; 
    margin-bottom: 20px; 
    border-bottom: 1px solid #222;
	font-size: 1.5em;
}

h2 {
    font-size: 1.2em;
	margin-top: 4px;
	padding-top: 4px;
    padding-bottom: 4px; 
    margin-bottom: 5px;
    border-bottom: 3px solid #DDD;
}

h3 {
    font-size: 1em; 
}

h4 {
    font-size: 1em;
}

a {
    text-decoration: none;
    color: #006666
}

a:visited {
    text-decoration: none; 
    color: #336666
}

a:hover {
    text-decoration: underline; 
    color: #003333
}

a.center {
    display:table;
    margin-left: auto;
    margin-right: auto;
}

.todo {
    color: #990000;
}

.done {
    color: #006666;
}

.timestamp-kwd {
    color: #444;
}

.tag {
    color: #DDD; 
    font-size: 70%; 
    font-weight: 500;
}

li {
    margin: .4em;
}

table {
    border: none;
}

td {
    border: none; 
    padding: .1em .7em .1em .3em;
}

th {
    border: none;
}

code {
    font-size: 100%;
}

img {
    border: none;
}

.share img {
    opacity: .4;
    -moz-opacity: .4;
    filter: alpha(opacity=40);
}

.share img:hover {
    opacity: 1;
    -moz-opacity: 1;
    filter: alpha(opacity=100);
}

/* pre {border: 1px solid #555; */
/*      background: #EEE; */
/*      font-size: 9pt; */
/*      padding: 1em; */
/*     } */

/* pre { */
/*     color: #e5e5e5; */
/*     background-color: #000000; */
/*     padding: 1.4em; */
/*     border: 2px solid grey; */
/* } */

pre {
    color: black;
    background-color: #eeeeee;
    padding: 1.2em;
    border: 1px solid grey;
}

.builtin {
    /* font-lock-builtin-face */
    color: #f4a460;
}
.comment {
    /* font-lock-comment-face */
    color: #737373;
}
.comment-delimiter {
    /* font-lock-comment-delimiter-face */
    color: #666666;
}
.constant {
    /* font-lock-constant-face */
    color: #db7093;
}
.doc {
    /* font-lock-doc-face */
    color: #b3b3b3;
}
.function-name {
    /* font-lock-function-name-face */
    color: #5f9ea0;
}
.headline {
    /* headline-face */
    color: #ffffff;
    background-color: #000000;
    font-weight: bold;
}
.keyword {
    /* font-lock-keyword-face */
    color: #4682b4;
}
.negation-char {
}
.regexp-grouping-backslash {
}
.regexp-grouping-construct {
}
.string {
    /* font-lock-string-face */
    color: #fffacd;
}
.todo-comment {
    /* todo-comment-face */
    color: #ffffff;
    background-color: #000000;
    font-weight: bold;
}
.variable-name {
    /* font-lock-variable-name-face */
    color: #ff6a6a;
}
.warning {
    /* font-lock-warning-face */
    color: #ffffff;
    background-color: #cd5c5c;
    font-weight: bold;
}
pre.a {
    color: inherit;
    background-color: inherit;
    font: inherit;
    text-decoration: inherit;
}
pre.a:hover {
    text-decoration: underline;
}
#postamble {
	margin-top: 50px;
	border-top: 1px solid #DDD;
}

#postamble p {
	font-size: 0.75em;
	margin: 0px;
}