From: Andre Noll <maan@systemlinux.org>
Date: Sun, 18 Aug 2013 13:52:40 +0000 (+0200)
Subject: web: Adjust sizes of monospace fonts.
X-Git-Tag: v0.5.0~1^2~5
X-Git-Url: http://git.tue.mpg.de/?a=commitdiff_plain;h=b35afce9bed9f0fdc6c4754121845d1996f44f66;p=paraslash.git

web: Adjust sizes of monospace fonts.

120% is big enough, let's use this size everywhere.
---

diff --git a/web/para.css b/web/para.css
index 2207d614..13149305 100644
--- a/web/para.css
+++ b/web/para.css
@@ -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 {