From e3fda1fce2e0061be6cafc291f86374fd673601e Mon Sep 17 00:00:00 2001
From: Uriel <u@berlinblue.org>
Date: Wed, 18 Jun 2008 21:17:32 +0200
Subject: [PATCH] Make font side for <pre> more readable

---
 pub/style/style.css | 1 +
 1 file changed, 1 insertion(+)

diff --git a/pub/style/style.css b/pub/style/style.css
index 4828bc7..72d4936 100644
--- a/pub/style/style.css
+++ b/pub/style/style.css
@@ -351,6 +351,7 @@ hr {
 /* Code */
 pre {
     margin-left: 2em; 
+    font-size: 1.2em;
 }