diff --git a/doc/_static/default2.css b/doc/_static/default2.css
index 2b24f118..c89e1f45 100644
--- a/doc/_static/default2.css
+++ b/doc/_static/default2.css
@@ -3,3 +3,7 @@
 pre, tt {
     font-family:  monospace, sans-serif;
 }
+
+tt {
+    font-size: 100%;
+}