div.page_body {
padding: 8px;
font-family: monospace;
+ font-size: 150%;
}
div.title, a.title {
}
td.pre, div.pre, div.diff {
- font-family: monospace;
- font-size: 12px;
white-space: pre;
}
}
/* styling of diffs (patchsets): commitdiff and blobdiff views */
+
div.diff.header,
div.diff.extended_header {
white-space: normal;