pre {
        background: lightgrey;
        border: 3px solid black;
        padding: 3px;
}

div.code {
        background: lightgrey;
        border: 3px solid black;
        padding: 3px;
}

td.header {
        background: lightgrey;
}

a {
	font-size: 12px;
}

td {
	font-size: 11px;
}