From 6c139caf3cd2ba34e03844a88f27038320c77dc9 Mon Sep 17 00:00:00 2001
From: czaks <marcin@6irc.net>
Date: Sat, 27 Sep 2014 11:16:16 +0200
Subject: [PATCH] style.css: setting default font size is imo a bit invasive

---
 stylesheets/style.css | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/stylesheets/style.css b/stylesheets/style.css
index a3eea7f9..5c24679c 100644
--- a/stylesheets/style.css
+++ b/stylesheets/style.css
@@ -2,7 +2,7 @@ body {
   background: #EEF2FF url('img/fade-blue.png') repeat-x 50% 0%;
   color: black;
   font-family: arial, helvetica, sans-serif;
-  font-size: 11pt;
+  font-size: 10pt;
   margin: 0 4px;
   padding-left: 4px;
   padding-right: 4px;
@@ -909,4 +909,4 @@ code > pre > span.pln {
   div.post div.body {
     clear: none;
   }
-}
\ No newline at end of file
+}