div#navigation_footer {
    border-top: 3px double black;
    padding-top: 0.2em;
    margin-top: 2em;
}

div.post:not(:first-child) {
    margin-top: 5em;
}

div.post_comments {
    margin-top: 1em;
    border-top: 1px solid black;
}

div.post_comment .author {
    font-weight: bold;
}

div.post_comment {
    border-top: 1px solid black;
    border-left: 1px solid black;
    padding-top: 0.4em;
    padding-left: 0.4em;
}

div.post_comment_header {
    margin-bottom: 0.5em;
}

img {
    border: 2px solid black;
    margin: 10px;
}

ul.padded li, ol.padded li {
    padding: 5px;
}

div.large_quote {
    max-height: 400px;
    height: 400px;
    overflow: auto;
    border: 1px solid black;
    padding-right: 5px;
}

div.large_image {
    overflow: auto;
    border: 1px solid black;
}

textarea.comment {
    width: 30em;
    height: 6em;
}

.post_body p {
    margin-top: 1em;
    margin-bottom: 1em;
}

div.title {
    border-bottom: 2px solid black;
    padding-bottom: 0.3em;
}

div.title a {
    text-decoration: none;
}

div.title .date {
    /* font-size: 50%; */
    font-family:monospace;
}


div.comments_anchor {
    margin-left: 2.5em;
}

div.post_comment_body {
    margin-left: 1em;
    margin-bottom: 1em;
}

div.update_pre {
    text-align: center;
    margin-top: 2em;
    margin-bottom: 2em;
}

div.update_pre_body {
    margin-left: 5em;
    margin-right: 5em;
    margin-bottom: 1em;
    margin-top: 1em;
    text-align: left;
}

div.post_below_head {
    /* margin-left: 2em; */
}

div.code {
    margin-top: 2em;
    margin-bottom: 2em;
    margin-left: 6em;
}

pre.code, table.code {
    margin-top: 2em;
    margin-bottom: 2em;
    margin-left: 6em;
}

div.major_em {
    margin-top: 2em;
    margin-bottom: 2em;
    margin-left: 6em;
}

div.section_title, div#navigation_footer {
    text-align: center;
}

div.link_text {
    cursor: pointer;
    text-decoration: underline;
}

div.link_text:hover {
    text-decoration: none;
}