css tweak
diff --git a/doc/docs.css b/doc/docs.css
index 7964c6b..7334dd5 100644
--- a/doc/docs.css
+++ b/doc/docs.css
@@ -78,7 +78,7 @@
     font-size:small;
 }
 
-pre { 
+.section pre { 
     margin: 1.5em; 
     padding: .7em; 
     font-size: 1em;