body, td, pre {
    font-size: 12px;
}