From 7c3695df4afa20073a767db09e636f7e5b95a123 Mon Sep 17 00:00:00 2001
From: jos <wjosdejong@gmail.com>
Date: Mon, 16 Dec 2019 20:28:46 +0100
Subject: [PATCH] Fixed #502: CSS rule `* { font-family: ... }` resulting in
 Ace editor (`code` mode) not having a mono-space font anymore

---
 HISTORY.md               | 6 ++++++
 src/scss/jsoneditor.scss | 4 ++++
 2 files changed, 10 insertions(+)

diff --git a/HISTORY.md b/HISTORY.md
index 0684216..5715e4d 100644
--- a/HISTORY.md
+++ b/HISTORY.md
@@ -3,6 +3,12 @@
 https://github.com/josdejong/jsoneditor
 
 
+## not yet published, version 8.0.1
+
+- Fixed #502: CSS rule `* { font-family: ... }` resulting in Ace editor (`code` 
+  mode) not having a mono-space font anymore.
+
+
 ## 2019-12-11, version 8.0.0
 
 - Implemented option `timestampFormat` which allows customizing the formatting
diff --git a/src/scss/jsoneditor.scss b/src/scss/jsoneditor.scss
index 8f6d67b..d17734f 100644
--- a/src/scss/jsoneditor.scss
+++ b/src/scss/jsoneditor.scss
@@ -325,6 +325,10 @@ div.jsoneditor-tree div.jsoneditor-show-more a:focus {
 textarea.jsoneditor-text,
 .ace-jsoneditor {
   min-height: 150px;
+
+  * {
+    font-family: $jse-font-mono;
+  }
 }
 textarea {
   &.jsoneditor-text {