Manual merge of #452

2023-07-10 13:16:22 +02:00
parent 2ae538a5e5
commit f7edfec6e0
3 changed files with 30 additions and 7 deletions
@@ -218,4 +218,4 @@ html[data-theme="dark"] {
  --editor-directive-color: #5b5b5b;
  --editor-directive-info-color: var(--subtle-color);
  --editor-task-marker-color: var(--subtle-color);
-}
+}