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;
-  font-size: 80%;
 }
 
 code {