#banner pre {
    font-size: 75%;
}

#banner pre a {
    text-decoration: none;
    color: black;
}

h1, h2, h3, h4, h5, h6 {
    font-family: sans-serif;
}