diff --git a/stylesheets/style.css b/stylesheets/style.css
index 5f416961..c3ff7112 100644
--- a/stylesheets/style.css
+++ b/stylesheets/style.css
@@ -2,9 +2,7 @@ body {
   background: #EEF2FF url('img/fade-blue.png') repeat-x 50% 0%;
   color: black;
   font-family: arial,helvetica,sans-serif;
-
-  font-family: arial, helvetica, sans-serif;
-  font-size: 10pt;
+  font-size: 11pt;
   margin: 0 4px;
   padding-left: 4px;
   padding-right: 4px;
@@ -651,11 +649,6 @@ pre {
   max-height: 300px;
   background: rgba(182,182,182,0.12);
   border: 2px solid rgba(111,111,111,0.34);
-  max-height: 300px;
-  background: rgba(182,182,182,0.12);
-  border: 2px solid rgba(111,111,111,0.34);
-  background: rgba(182,182,182,0.12);
-  border: 2px solid rgba(111,111,111,0.34);
 }
 
 .theme-catalog div.thread strong {