🔀 Merge pull request #315 from UrekD/master

Config JSON Editor Pointer Fix Fixes #124
2026-06-13 16:39:59 +00:00 · 2021-11-04 23:08:34 +00:00
parent e2d420fd01 22ef6cf170
commit 3914807add
1 changed files with 0 additions and 1 deletions
@@ -38,7 +38,6 @@ html {

  /* Monospace, for code and raw data output */
  code, pre, pre *, .jsoneditor *, .mono * {
-    font-family: var(--font-monospace);
    font-weight: normal;
  }
 }