html { 
    font-family: "Bitstream Vera Sans", Verdana, sans-serif; 
    font-size: 12pt; 
}

body {
    margin: 1em;
    border-right: 5px solid #bbb;
    border-bottom: 5px solid #bbb;
    padding: 10px;
    background: #99F none repeat scroll 0 0;
    border: 1px solid #000;
    margin: 0;
    padding: 2em;
    color: #000;
    font-family: "Bitstream Vera Sans", Verdana, sans-serif;
    font-size: 85%;
}

div#content {
    border: 1px solid #bbb;
    background: #fff;
    margin: 0;
    padding: 2em;
}

p.author 
p.date
p.creator {
    padding: 0em;
}

.title  { text-align: center; }
.todo   { color: red; }
.done   { color: green; }
.tag    { background-color: #add8e6; font-weight:normal }
.target { }
.timestamp { color: #bebebe; }
.timestamp-kwd { color: #5f9ea0; }
p.verse { margin-left: 3% }
pre {
    border: 1pt solid #AEBDCC;
    background-color: #F3F5F7;
    padding: 5pt;
    font-family: courier, monospace;
    font-size: 90%;
    overflow:auto;
}
table { border-collapse: collapse; }
td, th { vertical-align: top; }
dt { font-weight: bold; }
div.figure { padding: 0.5em; }
div.figure p { text-align: center; }
textarea { overflow-x: auto; }
.linenr { font-size:smaller }
.code-highlighted {background-color:#ffff00;}
.org-info-js_info-navigation { border-style:none; }
#org-info-js_console-label { font-size:10px; font-weight:bold;
                             white-space:nowrap; }
.org-info-js_search-highlight { 
    background-color:#ffff00;
    color:#000000;
    font-weight:bold; 
}

/* Our logo and menu div. */
#tm-logo {
   text-align: center;
   width: 100%;
}

#table-of-contents {
    background-color: #CCC;
    float: right;
    border: 1px solid #999;
    padding: 5px 10px 5px 10px;
    max-width: 30%;
    overflow: auto;
}

#table-of-contents h2 {
    color: black;
    border-bottom: none;
}

#footnotes { font-size: 0.9em; }
#text-footnotes p { margin: 0em; }

#postamble { 
    font-size: 0.8em; 
}

#postamble p { 
    margin: 0em;
    color: gray;
    text-align: right; 
}

#leftfoot p {
    color: gray;
    float: left;
    text-align: left;
}

div#banners {
    text-align: center;
}

div#subbox {
    text-align: center;
    float: right;
    border: 1px solid #99C;
}

/* Fancy underlines. */
h2 {
    padding-bottom: 4px;
    margin-top: 5px;
    margin-bottom: 5px;
    border-bottom: thin dotted #99F;
}