body {
    margin-top: 0;
    font-family: "Lucida Sans Unicode", "Lucida Grande", sans-serif;
    background-color: #f8f8f8;
}

a {
    color: #445588;
}

a:visited {
    color: #445588;
}

a:active {
    color: #445588;
}

div.container {
    margin-left: auto;
    margin-right: auto;
    background-color: #eee;
    border-left: 1px solid #aaa;
    border-right: 1px solid #aaa;
    border-bottom: 1px solid #aaa;

    /* This feels like a hack, but it makes padding equal on both sides. */
    -webkit-box-sizing: border-box;
    -moz-box-sizing: border-box;
    box-sizing: border-box;
}

div.content {
    padding: 0 10px 0 10px;
    font-family: "Palatino Linotype", "Book Antiqua", Palatino, serif;
}

#banner {
    margin: 10px;
}

div.sidebar {
    margin: 10px;
}

div.logo-head {
    float: left;
    padding-left: 10px;
    padding-right: 10px;
}

div *.text-head a {
    text-decoration: none;
}

h1 sup {
    font-size: small;
    color: #888;
}

#banner h2 {
    margin-left: 150px;
    font-variant: petite-caps;
    font-style: italic;
    font-size: small;
}

/** Nav menu. */
nav {
    text-align: center;
}

nav ul {
    padding-left: 0;
}

nav li {
    display: inline;
    margin-left: 1em;
}

hr {
    border: 0;
    border-top: 1px solid black;
    height: 1px;
}

article {
    font-family: "Palatino Linotype", "Book Antiqua", Palatino, serif;
}

/* Article list on index page. */

#post-list {
    padding-left: 0;
}

article.hentry {
    border-radius: 5px;
    border: 1px solid #aaa;
    margin-bottom: 20px;
}

article.hentry header {
    text-indent: 10px;
}

article.hentry footer {
    text-align: right;
    padding-left: 10px;
    padding-right: 10px;
}

div.entry-content {
    margin: 10px;
}

article header a {
    text-decoration: none;
}

p.paginator {
    text-align: center;
}

#contentinfo {
    border-top: 1px solid black;
    padding: 10px;
}

div #socials {
    float: right;
}

#sociallist {
    display: inline;
    padding-left: 0;
    padding-right: 10px;
}

div #legals {
    font-size: x-small;
}

#sociallist li {
    display: inline;
    padding-left: 1em
}

ul#post-list li {
    list-style:none;
}

ul#post-list h2 {
    border-bottom: 2px solid #666;
}

ul#post-list time {
    display: inline;
}

ul#post-list address {
    display: inline;
}

div.content img.divider {
    display: block;
    width: 320px;
    margin-left: auto;
    margin-right: auto;
}

div.content img.full {
    border-radius: 5px;
    border: 1px solid #aaa;
}

/* Individual article pages. */
#content header h2 a {
    text-decoration: none;
}

footer.post-info {
    text-align: right;
}

section#content {
    margin-bottom: 20px;
}

section#content time {
    display: inline;
}

section#content address {
    display: inline;
}

/* Extra small devices (small phones). */
@media only screen and (max-width: 600px) {
    div.container {
        width: 100%;
        display: grid;
    }

    div.content img.full {
        width: 100%;
    }
}

/* Small devices (portrait tablets and large phones, 600px and up) */
@media only screen and (min-width: 600px) {
    div.container {
        width: 560px;
        display: grid;
    }

    div.content img.full {
        width: 100%;
    }
}

/* Medium devices (landscape tablets, 768px and up) */
@media only screen and (min-width: 768px) {
    div.container {
        width: 728px;
        display: grid;
        grid-template-columns: 1fr;
        grid-template-rows: 170px auto auto auto auto;
    }

    header {
        grid-row: 1;
        grid-column: span 1;
    }

    div.nav {
        grid-row: 2;
        grid-column: span 1;
    }

    div.content img.full {
        width: 640px;
    }

    div.content {
        grid-row: 3;
        grid-column: 1;
    }

    div.sidebar {
        grid-row: 4;
        grid-column: span 1;
    }

    footer {
        grid-row: 5;
        grid-column: span 1;
    }
}

/* Extra large devices (large laptops and desktops, 1200px and up) */
@media only screen and (min-width: 1024px) {
    div.container {
        width: 984px;
        display: grid;
        grid-template-columns: 250px 1fr;
        grid-template-rows: 170px auto auto auto;
        grid-column-gap: 10px;
    }

    header {
        grid-row: 1;
        grid-column: span 2;
    }

    div.nav {
        grid-row: 2;
        grid-column: span 2;
    }

    div.content {
        grid-row: 3;
        grid-column: 2;
    }

    div.content img.full {
        width: 640px;
    }

    div.sidebar {
        grid-row: 3;
        grid-column: 1;
    }

    footer {
        grid-row: 4;
        grid-column: span 2;
    }
}


/*
 * GitHub style for Pygments syntax codehiliteer, for use with Pygments. Note the ".codehilite" tag names
 * Courtesy of GitHub.com
 */

.highlight pre, pre, .highlight .hll {
    background-color: #f8f8f8;
    border: 1px solid #ccc;
    padding: 6px 10px;
    border-radius: 3px;
}

.highlight .c {
    color: #999988;
    font-style: italic;
}

.highlight .err {
    color: #a61717;
    background-color: #e3d2d2;
}

.highlight .k {
    font-weight: bold;
}

.highlight .o {
    font-weight: bold;
}

.highlight .cm {
    color: #999988;
    font-style: italic;
}

.highlight .cp {
    color: #999999;
    font-weight: bold;
}

.highlight .c1 {
    color: #999988;
    font-style: italic;
}

.highlight .cs {
    color: #999999;
    font-weight: bold;
    font-style: italic;
}

.highlight .gd {
    color: #000000;
    background-color: #ffdddd;
}

.highlight .gd .x {
    color: #000000;
    background-color: #ffaaaa;
}

.highlight .ge {
    font-style: italic;
}

.highlight .gr {
    color: #aa0000;
}

.highlight .gh {
    color: #999999;
}

.highlight .gi {
    color: #000000;
    background-color: #ddffdd;
}

.highlight .gi .x {
    color: #000000;
    background-color: #aaffaa;
}

.highlight .go {
    color: #888888;
}

.highlight .gp {
    color: #555555;
}

.highlight .gs {
    font-weight: bold;
}

.highlight .gu {
    color: #800080;
    font-weight: bold;
}

.highlight .gt {
    color: #aa0000;
}

.highlight .kc {
    font-weight: bold;
}

.highlight .kd {
    font-weight: bold;
}

.highlight .kn {
    font-weight: bold;
}

.highlight .kp {
    font-weight: bold;
}

.highlight .kr {
    font-weight: bold;
}

.highlight .kt {
    color: #445588;
    font-weight: bold;
}

.highlight .m {
    color: #009999;
}

.highlight .s {
    color: #dd1144;
}

.highlight .n {
    color: #333333;
}

.highlight .na {
    color: teal;
}

.highlight .nb {
    color: #0086b3;
}

.highlight .nc {
    color: #445588;
    font-weight: bold;
}

.highlight .no {
    color: teal;
}

.highlight .ni {
    color: purple;
}

.highlight .ne {
    color: #990000;
    font-weight: bold;
}

.highlight .nf {
    color: #990000;
    font-weight: bold;
}

.highlight .nn {
    color: #555555;
}

.highlight .nt {
    color: navy;
}

.highlight .nv {
    color: teal;
}

.highlight .ow {
    font-weight: bold;
}

.highlight .w {
    color: #bbbbbb;
}

.highlight .mf {
    color: #009999;
}

.highlight .mh {
    color: #009999;
}

.highlight .mi {
    color: #009999;
}

.highlight .mo {
    color: #009999;
}

.highlight .sb {
    color: #dd1144;
}

.highlight .sc {
    color: #dd1144;
}

.highlight .sd {
    color: #dd1144;
}

.highlight .s2 {
    color: #dd1144;
}

.highlight .se {
    color: #dd1144;
}

.highlight .sh {
    color: #dd1144;
}

.highlight .si {
    color: #dd1144;
}

.highlight .sx {
    color: #dd1144;
}

.highlight .sr {
    color: #009926;
}

.highlight .s1 {
    color: #dd1144;
}

.highlight .ss {
    color: #990073;
}

.highlight .bp {
    color: #999999;
}

.highlight .vc {
    color: teal;
}

.highlight .vg {
    color: teal;
}

.highlight .vi {
    color: teal;
}

.highlight .il {
    color: #009999;
}

.highlight .gc {
    color: #999;
    background-color: #EAF2F5;
}