/* Limit size of html logo */
.logo {
    text-align: center
}

a img.logo {
    height: 80px;
}

span {
    font-family: sans-serif;
    font-size: 100%;
    font-weight: normal;
}

code {
    font-size: 100%;
    padding: 0;
}