/* Basic settings */
body {
	margin-left: auto;
	margin-right: auto;
	max-width: 80em;
	background-color: silver;
        padding: 4px;
}
html {}
div {
    background-color: white;
}

div#content {
      margin-top: 2em;
      margin-left: 5%;
      margin-right: 5%;
      padding: 1em;
      border: 1px solid black;
}

div#postamble {
    margin-bottom: 2em;
    margin-left: 5%;
    margin-right: 5%;
    border: 1px solid black;
    font-size: 80%;
    padding: 4px;
}

.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; }
.right  {margin-left:auto; margin-right:0px;  text-align:right;}
.left   {margin-left:0px;  margin-right:auto; text-align:left;}
.center {margin-left:auto; margin-right:auto; text-align:center;}
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;  }
th.right  { text-align:center;  }
th.left   { text-align:center;   }
th.center { text-align:center; }
td.right  { text-align:right;  }
td.left   { text-align:left;   }
td.center { text-align:center; }
dt { font-weight: bold; }
div.figure { padding: 0.5em; }
div.figure p { text-align: center; }
div.inlinetask {
    padding:10px;
    border:2px solid gray;
    margin:10px;
    background: #ffffcc;
}
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;
}