diff --git a/doc/asciidoc.css b/doc/asciidoc.css
index 17d949006..f9c0e1423 100644
--- a/doc/asciidoc.css
+++ b/doc/asciidoc.css
@@ -7,8 +7,8 @@ div.sectionbody {
 h5 {
     font-size: 0.95em;
 }
-tt {
-    font-family: monospace;
+pre, tt {
+    font-size: 14px;
 }
 span.command {
     background: #EEEEFF;