From 8a5456f3de474c58e49b637617d1694b515e1055 Mon Sep 17 00:00:00 2001
From: Jos de Jong <wjosdejong@gmail.com>
Date: Tue, 8 Mar 2022 15:23:40 +0100
Subject: [PATCH] fix: define font for linting messages

---
 src/lib/components/modes/codemode/CodeMode.scss | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/src/lib/components/modes/codemode/CodeMode.scss b/src/lib/components/modes/codemode/CodeMode.scss
index f3659ce6..904f3237 100644
--- a/src/lib/components/modes/codemode/CodeMode.scss
+++ b/src/lib/components/modes/codemode/CodeMode.scss
@@ -32,6 +32,11 @@
       :global(.cm-gutters) {
         background: $very-light-gray;
       }
+
+      :global(.cm-diagnostic) {
+        font-size: $font-size;
+        font-family: $font-family;
+      }
     }
 
     .loading-space {