fix #87 bold comments

2020-10-14 16:39:29 +02:00 · 2020-10-14 16:39:29 +02:00 · 35019d982e
parent 87c4c4132d
commit 35019d982e
1 changed files with 3 additions and 0 deletions
--- 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;
 }