1 files changed, 4 insertions, 0 deletions
diff --git a/docs/css/main.css b/docs/css/main.css
index 89305a7d3a..d770173be1 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;
 }