From 5366c5d63657c6a010bb68ca82856dba0df5a77d Mon Sep 17 00:00:00 2001 From: NunoSempere Date: Wed, 14 Dec 2022 00:08:53 +0000 Subject: [PATCH] tweak: make tabs css better for me --- style.css | 14 ++++++++++++-- 1 file changed, 12 insertions(+), 2 deletions(-) diff --git a/style.css b/style.css index 3ef25e4..c7c07b6 100644 --- a/style.css +++ b/style.css @@ -10,7 +10,8 @@ margin: 0px; outline-color: @Lavender; color: @Text; - border-color: white; + border-color: white; + font-size: 16px; /*@Base; */ /* border-bottom-color: @Base; */ } @@ -22,11 +23,21 @@ window, notebook, headerbar { tabs { background-color: @Base; padding: 3px; + outline-color: white; + border-color: @Base; } tab { background-color: @Base; + margin: 2px 5px 2px 0px; + padding: 5px; + border-style: solid; + /*border-color: white; + border-bottom-color: white; + outline-color: white; margin: 5px; + padding-left: 10px; + padding-right: 10px; */ } entry { @@ -35,7 +46,6 @@ entry { } entry:focus { - box-shadow: none; background-color: @Surface0; padding-left: 10px;