div, pre { margin: 0 0 18px 12px }
body, pre {
font-family: Verdana, Geneva, Arial, Helvetica, sans-serif;
}
table {
font-size: 100%;
margin: 10px 0 10 0;
padding: 0;
}
td, th {
padding: 8px
}