From 17cf396437c590489c29906b491f316a069c9c1d Mon Sep 17 00:00:00 2001
From: Arkerthan <arkerthan@gmail.com>
Date: Thu, 30 Apr 2020 17:04:27 +0200
Subject: [PATCH] fix double border with input box
---
src/gui/css/options.css | 16 +++++++++-------
1 file changed, 9 insertions(+), 7 deletions(-)
diff --git a/src/gui/css/options.css b/src/gui/css/options.css
index 2403a0cd3c0..ac6c689bd95 100644
--- a/src/gui/css/options.css
+++ b/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);
--
GitLab