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 {