web: Adjust sizes of monospace fonts.
authorAndre Noll <maan@systemlinux.org>
Sun, 18 Aug 2013 13:52:40 +0000 (15:52 +0200)
committerAndre Noll <maan@systemlinux.org>
Sun, 18 Aug 2013 17:47:54 +0000 (19:47 +0200)
120% is big enough, let's use this size everywhere.

web/para.css

index 2207d61..1314930 100644 (file)
@@ -308,7 +308,7 @@ img.logo {
 
 div.page_header {
        padding: 8px;
-       font-size: 150%;
+       font-size: 120%;
        font-weight: bold;
        background-color: #151515;
 }
@@ -351,7 +351,7 @@ div.page_footer_text {
 div.page_body {
        padding: 8px;
        font-family: monospace;
-       font-size: 150%;
+       font-size: 120%;
 }
 
 a.title:hover {
@@ -367,6 +367,13 @@ div.title_text {
 
 div.log_body {
        padding: 8px 8px 8px 150px;
+       font-family: monospace;
+       font-size: 120%;
+}
+
+div.log {
+       font-family: monospace;
+       font-size: 120%;
 }
 
 span.age {