From b35afce9bed9f0fdc6c4754121845d1996f44f66 Mon Sep 17 00:00:00 2001 From: Andre Noll Date: Sun, 18 Aug 2013 15:52:40 +0200 Subject: [PATCH 1/1] web: Adjust sizes of monospace fonts. 120% is big enough, let's use this size everywhere. --- web/para.css | 11 +++++++++-- 1 file changed, 9 insertions(+), 2 deletions(-) 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 { -- 2.39.2