div.code { 
    font-family: "Lucida Console";
    font-size: 90%;
    background-color: #E0E0E0 
}