fix double border with input box

src/gui/css/options.css

@@ -19,13 +19,15 @@ div.options-group span.comment {
 div.options-group button {
     color: var(--link-color);
     background-color: var(--button-color);
-    border: solid 2px var(--button-border-color);
-    margin: 4px 0;
-}
-
-div.options-group button:not(:first-child) {
-    border-left: none; /* Prevent double borders */
-}
+    border: none; /* outline instead of border */
+    /* left & right outline overlap each other so we don't have  a double border */
+    outline: solid 2px var(--button-border-color);
+    margin: 6px 0 6px 2px;
+}
+/*
+div.options-group button:not(:last-child) {
+    border-right: none; /* Prevent double borders */
+/*}*/
 
 div.options-group button:hover {
     background-color: var(--button-hover-color);