diff --git a/docs/css/main.css b/docs/css/main.css
index 89305a7d3a3589226309841882d185de13720434..d770173be10147afb997703406071bd130626b3c 100755
--- a/docs/css/main.css
+++ b/docs/css/main.css
@@ -74,6 +74,10 @@ code {
   color: #444444;
 }
 
+div .highlight pre {
+  font-size: 12px;
+}
+
 a code {
   color: #0088cc;
 }