From 7c77efd44ac803945adadc7772460fb6bdce26bd Mon Sep 17 00:00:00 2001
From: aaaxx <aaaxx@users.noreply.github.com>
Date: Wed, 24 May 2017 05:05:28 +0200
Subject: [PATCH] Update general.styl

---
 src/theme/stylus/general.styl | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/theme/stylus/general.styl b/src/theme/stylus/general.styl
index 148e952d..ed548dfc 100644
--- a/src/theme/stylus/general.styl
+++ b/src/theme/stylus/general.styl
@@ -4,7 +4,7 @@ html, body {
 }
 
 code {
-    font-family: "Source Code Pro", "Menlo", "DejaVu Sans Mono", monospace;
+    font-family: "Source Code Pro", Consolas, "Ubuntu Mono", Menlo, "DejaVu Sans Mono", monospace, monospace;
     font-size: 0.875em;
 }