body {
    font-family: "Lucida Console", "Luxi Sans", sans-serif;
    font-size: small;
}

code {
    font-family: LucidaTypewriter, monotype;
}

pre {
    font-family: LucidaTypewriter, monotype;
}