From 27c8b1a5cd9a39788bb395069bf5506386747902 Mon Sep 17 00:00:00 2001 From: uriel Date: Wed, 18 Jun 2008 21:17:32 +0200 Subject: [PATCH] Make font side for
 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;
 }