#article-header {
    background-color: #0d0d0d;
    color: white;
    text-align: center;
    padding: 5pt 0 5pt 0;
}

#article-header > div {
    display: inline-block;
    vertical-align: middle;
    margin: 5pt;
}

img#gtk-logo {
    width: 50px;
}

#article-body {
    columns: 2;
    font: 10pt/1.40 Helvetica, sans-serif;
    padding: 5pt;
}

#article-body p {
    text-indent: 2em;
}

#article-body p:first-child {
    margin-top: 0;
    text-indent: 0;
}

/*
span.first-word {
    font-size: xx-large;
    font-weight: bold;
    line-height: 0;
}
*/

h1, h2, h3 {
    margin: 2pt;
    text-align: left;
    font-family: Helvetica, sans-serif;
}

h3 {
    font-weight: normal;
}

.code {
    font-family: monospace;
}