fix several css issues

2021-08-09 10:37:51 +02:00
parent e53182456a
commit 27ffeb156f
6 changed files with 18 additions and 43 deletions
--- a/src/editor/dialogs/editorPreferencesDialog.js
+++ b/src/editor/dialogs/editorPreferencesDialog.js
@@ -21,7 +21,7 @@ template.innerHTML = `
    padding:5px 10px 5px 7px; /* Firefox */
    line-height:17px; /* Safari */
    margin: 5px 20px 0 0;
-    border: 1px #808080 solid;
+    border: 1px var(--border-color) solid;
    border-top-color: #FFF;
    border-left-color: #FFF;
    border-radius: 5px;