pre {
    font-family: Dejavu Sans Mono,FreeMono,monospace;
    line-height: 1.0;
    font-size: 100%;
}