From 35019d982eecbb5c2b96dcae3ca677eabd11d145 Mon Sep 17 00:00:00 2001
From: Koen Lageveen <koen.lageveen@me.com>
Date: Wed, 14 Oct 2020 16:39:29 +0200
Subject: [PATCH] fix #87 bold comments

---
 index.css | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/index.css b/index.css
index a4816d5..72edb8e 100644
--- a/index.css
+++ b/index.css
@@ -333,6 +333,9 @@ label + .nav-button {
 .CodeMirror .cm-atom {
     font-style: italic;
 }
+.CodeMirror .cm-comment {
+    font-weight: bold;
+}
 .CodeMirror-gutters {
     background: transparent;
 }