css: keep <pre> at the default level

diff --git a/local.css b/local.css
index 34a1a01..3d0c9a8 100644 (file)
--- a/local.css
+++ b/local.css
@@ -2,7 +2,6 @@ pre {
   background-color: #F5F5F5;
   border: 1px dashed blue;
   padding: 0.2em;
   background-color: #F5F5F5;
   border: 1px dashed blue;
   padding: 0.2em;

-  font-size: 80%;

 }
 
 code {
 }
 
 code {