span.linenos {
    font-size: 75%;
    margin-right: 1em;
}