1 files changed, 4 insertions, 0 deletions
diff --git a/waf.css b/waf.css
index e9fa3f50..ba2fbb48 100755
--- a/waf.css
+++ b/waf.css
@@ -37,3 +37,7 @@ body, div.sectionbody, div#toctitle {
 	font-family: 'Lucida Grande', Verdana, Arial, sans-serif;
 }
 
+.monospaced, code, pre {
+  font-family: Consolas, 'Liberation Mono', Menlo, Courier, monospace;
+}
+