html {
    -webkit-text-size-adjust: 100%
}

body {
    font-size: 80%;
}

header:after {
    max-width: 100%;
}

header h1 {
    margin: 0.25em 0 0.5em 0;
    width: 25px;
    height: 23px;
    float: left;

    background: url(m.svg);
    background-size: 100%;
    background-repeat: no-repeat;
}

header h1 a {
    width: 100%;
    height: 100%;

    text-indent: 100%;
    white-space: nowrap;
    overflow: hidden;
    display: block;
}

#nameplate {
    padding: 0 0.75em 0 0.75em;
}

nav #home {
    display: none;
}

article {
    padding: 0 0.75em;
}

code, pre {
    font-size: 85%;
}

pre {
    margin: 0.75em 0;
    padding: 0.25em;
}