body {
    background-color: #f5f5f5;
    font-family: sans;
    max-width: 50em;
    margin: 0 auto;
    padding: 1em;
}

p {
    text-align: justify;
    text-justify: inter-word;
}

a {
    text-decoration: none;
}

nav a:first-child {
    margin-left: 0;
}
nav a {
    margin-left: 1em;
}

nav a.active {
    font-weight: bold;
}

.post_title {
    font-size: large;
}

.post_date {
    font-size: small;
}

.highlight > pre {
    padding: 1em;
}

.highlight .chroma {
    overflow-x: auto;
}