body {
    font-family: 'Georgia', 'Times New Roman', sans-serif;
    font-size: 15px;
    letter-spacing: -0.01em;
    line-height: 150%;
    text-align: center;
}

a {
    color: #16587E;
    text-decoration: none;
}

a:hover {
    color: #3CA8E7;
}

img {
    border: none;
}

pre, code, tt {
    font-family: 'Monaco', 'Bitstream Vera Sans Mono', monospace;
    font-size: 0.8em;
}

pre {
    line-height: 170%;
}

div.page {
    width: 740px;
    margin: 20px auto 0 auto;
    text-align: left;
}

div.header {
    border-bottom: 1px solid black;
}

div.header h1 {
    padding: 0;
    margin: 0;
    background: url(logo.png) no-repeat;
}

div.header a {
    display: block;
    height: 92px;
    width: 240px;
}

div.header a span {
    display: none;
}

ul.navigation {
    list-style: none;
    margin: 0;
    padding: 0;
}

ul.navigation li {
    margin: 0;
    padding: 0.15em 0 0.15em 0;
    float: left;
}

ul.navigation li a {
    margin: 0;
    padding: 0 10px 0 10px;
    line-height: 1.75em;
}

ul.navigation li.active {
    background-color: #fafafa;
    border-bottom: 0.15em solid black;
    padding-bottom: 0;
}

ul.navigation li.active a {
    color: black;
}

div.body {
    border-top: 1px solid black;
    margin: 10px 0 0 0;
    padding: 10px 0 0 0;
    clear: both;
}

div.contents {
    margin: 0 0 20px 0;
    width: 560px;
    float: right;
    text-align: justify;
}

div.aside {
    margin: 0 0 20px 0;
    padding: 3em 0 0 0;
    width: 160px;
    float: left;
}

div.aside h4 {
    margin: 1em 0 0.5em 0;
    font-size: 0.9em;
    padding: 0.1em 0 0.1em 0.5em;
    border-top: 1px solid black;
    background-color: #fafafa;
}

p {
    margin: 0.8em 0 0.5em 0;
}

h2 {
    margin: 0;
    padding: 0.7em 0 0.3em 0;
    font-size: 1.5em;
}

h4 {
    margin: 1em 0 -0.3em 0;
}

h1 a, h2 a, h3 a, h4 a, h5 a, h6 a {
    color: black!important;
}

h1 a.anchor, h2 a.anchor, h3 a.anchor, h4 a.anchor, h5 a.anchor, h6 a.anchor {
    display: none;
    margin: 0 0 0 0.3em;
    padding: 0 0.2em 0 0.2em;
    color: #aaa!important;
}

h1:hover a.anchor, h2:hover a.anchor, h3:hover a.anchor, h4:hover a.anchor,
h5:hover a.anchor, h6:hover a.anchor {
    display: inline;
}

h1 a.anchor:hover, h2 a.anchor:hover, h3 a.anchor:hover, h4 a.anchor:hover,
h5 a.anchor:hover, h6 a.anchor:hover {
    color: #777;
    background-color: #eee;
}

table {
    border-collapse: collapse;
    margin: 0 -0.5em 0 -0.5em;
}

table td, table th {
    padding: 0.2em 0.5em 0.2em 0.5em;
}

div.footer {
    padding: 0 0 20px 0;
    border-top: 1px solid black;
    clear: both;
    font-size: 0.9em;
    text-align: right;
}

p.manyimages {
    text-align: center;
}

p.manyimages img {
    border: 1px solid #3CA8E7;
    padding: 3px;
    background: #e2f0f8;
}

p.manyimages a:hover img {
    background: #3ca8e7;
}

p.oneimage {
    text-align: center;
}

p.oneimage img {
    margin: 0 auto 0 auto;
    display: block;
    border: none;
}

ul.toc {
    margin: 1em 0 1em 0;
    padding: 0 0 0 0;
    list-style: none;
}

ul.toc li {
    margin: 0.5em 0 0.5em 0;
    font-size: 0.9em;
    line-height: 130%;
}

ul.toc li p {
    margin: 0;
}

ul.toc ul {
    margin: 0.2em 0 0.2em 0;
    padding: 0 0 0 1.8em;
}

ul.toc ul li {
    padding: 0;
}

div.day div.entry img {
    max-width: 100%;
}

div.day h3 {
    margin-bottom: 0;
}

div.day p.meta {
    margin: 0.1em 0 0.3em 0;
    font-size: 0.9em;
}

div.pagination {
    margin-top: 2em;
    padding-top: 0.5em;
    border-top: 1px solid black;
    text-align: center;
}

/* :::: DOWNLOAD LINK :::: */
a.download-link {
    margin: 0 0 0 -10px;
    display: block;
    background: url(download-button.png) no-repeat;
    width: 180px;
    height: 70px;
    color: #1d4068;
    line-height: 1;
    font-size: 16px;
}

a.download-link strong {
    display: block;
    margin: 0;
    padding: 18px 0 5px 44px;
}

a.download-link small {
    display: block;
    margin: 0;
    padding: 0 0 10px 44px;
    font-size: 12px;
}

a.download-link:hover {
    background-position: 0 -71px;
    color: #091b30;
}

/* :::: APPETIZER :::: */
ul.appetizer {
    list-style: none;
    margin: 0;
    padding: 10px;
    height: 370px;
}

ul.appetizer li {
    position: absolute;
}

/* :::: APACHE LISTING :::: */
div.apache-listing {
    padding: 10px 4px;
}

div.apache-listing table {
    width: 100%;
    border-collapse: none;
    margin: 0;
}

div.apache-listing table hr {
    display: none;
}

div.apache-listing table td:first-child,
div.apache-listing table th:first-child {
    width: 20px;
}

div.apache-listing table td,
div.apache-listing table th {
    padding: 0 8px;
}

div.apache-listing table th {
    font-size: 0.9em;
    padding: 0.1em 0 0.1em 0.5em;
    border-top: 1px solid black;
}

/* :::: MAILINGLIST ARCHIVE OVERVIEW :::: */
ul.archive_list li {
    line-height: 1.3;
}

ul.archive_list li div.meta {
    font-size: 0.85em;
    margin: 0 0 10px 10px;
}

/* :::: MAILNGLIST JUMPBOX :::: */
div.jumpbox {
    margin: 20px 0 0 0;
    padding: 0;
    border: 1px solid black;
    border-left: none;
    border-right: none;
    overflow: auto;
    max-height: 110px;
    font-size: 0.85em;
}

div.jumpbox ul {
    margin: 0;
    padding: 0 0 0 10px;
    line-height: 1.4;
    list-style-type: none;
}

div.jumpbox ul li {
    margin: 0;
    padding: 0;
}

div.jumpbox ul li div.line {
    border-bottom: 1px solid white;
    margin-left: -10px;
    padding: 1px 10px 1px 10px;
}

div.jumpbox ul li div.selected {
    background: #e4ecf0;
    border-bottom-color: #b9cbd5;
}

div.jumpbox ul li div.line:hover a {
    color: #444!important;
    text-decoration: underline;
}

div.jumpbox ul li div.line a:focus {
    outline: none;
}

/* :::: MAIL RENDERING :::: */
div.mails div.mail h3 {
    margin: 10px 0;
}

div.mails div.mail dl {
    margin: 0;
    padding-bottom: 10px;
    border-bottom: 1px solid black;
}

div.mails div.mail dl dt {
    color: #888;
    width: 70px;
    float: left;
    height: 20px;
}

div.mails div.mail dl dd {
    height: 20px;
    width: 500px;
}

div.mails div.mail dl dd.from {
    text-decoration: underline;
}

div.mails div.mail pre {
    line-height: 1.3;
}

div.mails div.mail div.children {
    margin-left: 10px;
}

div.mails div.mail pre span.quote {
    color: #16587E;
}

div.mails div.mail pre span.sig {
    color: #666;
}