diff --git a/src/gui/css/options.css b/src/gui/css/options.css index 2403a0cd3c01f91b700e7734913b6893ef6ec37c..ac6c689bd958ec0efd1e847dff56f95f3c6f3209 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);