web: Increase size of log messages and diffs.

The size of these was hardcoded to 12px.

diff --git a/web/gitweb.css b/web/gitweb.css
index 9057a8f5371031074ad81b86c29d639197aeb88f..a4f5e83529f2c93eed65519dd6b2b763ef994782 100644 (file)
--- a/web/gitweb.css
+++ b/web/gitweb.css
@@ -71,6 +71,7 @@ div.page_footer_text {
 div.page_body {
        padding: 8px;
        font-family: monospace;
+       font-size: 150%;
 }
 
 div.title, a.title {
@@ -316,8 +317,6 @@ table.blame td.age0 {
 }
 
 td.pre, div.pre, div.diff {
-       font-family: monospace;
-       font-size: 12px;
        white-space: pre;
 }
 
@@ -326,6 +325,7 @@ td.mode {
 }
 
 /* styling of diffs (patchsets): commitdiff and blobdiff views */
+
 div.diff.header,
 div.diff.extended_header {
        white-space: normal;