fix: minor fix for editor UI

Signed-off-by: svrnm <neumanns@cisco.com>
clintonfray · Nov 17, 2022 · 024d409 · 024d409
1 parent e96a585
commit 024d409
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/styles/editor.less b/styles/editor.less
@@ -27,10 +27,10 @@
       color: var(--base-text-color);
       display: block;
       font-size: 120%;
-      height: 100%;
-      margin-bottom: 8px;
+      margin-bottom: 9px;
       margin-top: 8px;
       padding: 8px;
+      padding-top: 14px;
     }
 
     .select-hotkeys {