diff --git a/website/static/separate-css/playground.css b/website/static/separate-css/playground.css
index 9202ca067..8507dfb93 100644
--- a/website/static/separate-css/playground.css
+++ b/website/static/separate-css/playground.css
@@ -144,6 +144,7 @@ header h1 {
   right: 0;
   bottom: 0;
   line-height: 1.6;
+  font-family: Consolas, Monaco, "Andale Mono", "Ubuntu Mono", monospace;
 }
 
 .bottom-bar {