@import url(reset.css);
@import url(pygments.css);

/* Many of these styles are cribbed from David Nolen
(https://swannodette.github.io/assets/themes/tom/css/screen.css) */

body {
    text-align: center;
    line-height: 1.4em;
    width: 80%;
    margin: 0 auto;
}

.site {
    max-width: 586px;
    text-align: justify;
    margin: 3em auto 2em auto;
}

.site header a {
    margin-right: 10px;
    text-decoration: none;
    color: grey;
    font-size: 1.2em;
}

.site header a:hover {
    color: green;
}

#content {
    margin-top: 1.5em;
    margin-bottom: 1.5em;
}

#content #postlist  {
    line-height: 1em;
    margin-bottom: 0px;
}

.post {
    margin-bottom: 1em;
}

.post h3 {
    font-weight: normal;
    text-align: left;
}

.postinfo {
    font-family: arial; sans;
    font-size: 0.7em;
    color: gray;
}

.posttitle {
    font-size: 1.5em;
    margin-top: 1em;
}

.article p {
    margin-top: 1em;
}

.article pre {
    font-family: 'Inconsolata', monospace;
    line-height: 1em;
    border-top: 1px solid #bbb;
    border-bottom: 1px solid #bbb;
    padding: 20px 0;
    margin: 15px 0;
}

.article blockquote {
    font-size: 0.9em;
    font-style: italic;
    border-left: 3px solid #ccc;
    margin-left: 30px;
    padding-left: 10px;
}

.article img, .article video {
    display: block;
    max-width: 586px;
    height: auto;
}

.article ul, .article ol {
    margin-top: 0.75em;
    margin-left: 1.35em;
}

sup, sub {
    vertical-align: 0;
    position: relative;
    font-size: 0.6em;
}

sup {
    bottom: 1ex;
}

sub {
    top: 1ex;
}

footer {
    border-top: 1px solid #bbb;
    font-size: 0.7em;
    color: grey;
}