style.css: setting default font size is imo a bit invasive

1 files 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
+}