html,
h1,
h2,
h3,
h4,
h5,
h6 {
    font-family: "Source Sans Pro", sans-serif;
}

body {
    margin: 1em;
}

p, ol, ul {
    margin-top: 1rem;
}
ol, ul {
    margin-bottom: 1rem;
}

a {
    color: #0365C0;
    text-decoration: none;
}
a:hover {
    color: #0A4C8B;
    text-decoration: underline;
}

code, pre {
    font-family: "Inconsolata", monospace;
    background: #fafafa;
}

p code {
    font-size: 90%;
}

pre {
    background: #fafafa;
    padding: 1em;
    border: 1px solid #eee;
    overflow-x: auto;
}

h1 {
    font-size: 1.838rem;
    line-height: 1.951rem;
    margin-top: 1.951rem;
}
h2 {
    font-size: 1.414rem;
    line-height: 1.414rem;
    margin-top: 1.414rem;
}
h3 {
    font-size: 1.25rem;
    line-height: 1.25rem;
}
h4 {
    font-size: 1.1rem;
    line-height: 1.1rem;
}

#content {
    max-width: 768px;
    margin-left: auto;
    margin-right: auto;
    margin: 1em auto;
}

table td, table th {
    padding: 0 0.2em;
    vertical-align: top;
}

p.authors {
    margin-top: 0;
}

img.logo {
    float: right;
    max-height: 100px;
}