body {
  font-size: 0.8em;
}

h3.board_breadcrumb, table, th, td {
  font-size: 100%;
}

.code pre { 
    font: 85% "Courier New", Courier, monospace;
}