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

10 years ago · 6c139caf3c
1 changed files with 2 additions and 2 deletions
--- 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;
  }
-}
+}