pre {
background-color: #eeeeee;
border: solid 1px #999999;
padding: 10px;
font-family: Lucinda Console, Courier New;
font-size: 8pt;
}

div.code {
background-color: #eeeeee;
border: solid 1px #999999;
padding: 10px;
font-family: Lucinda Console, Courier New;
font-size: 8pt;
}