From a4bafc8c182828dea71598710b29e56725cd3309 Mon Sep 17 00:00:00 2001 From: John Mertz Date: Thu, 28 Sep 2023 17:49:26 +0000 Subject: [PATCH] Explore tabs --- css/theme-gruvbox.css | 9 ++++++--- 1 file changed, 6 insertions(+), 3 deletions(-) diff --git a/css/theme-gruvbox.css b/css/theme-gruvbox.css index beef8cd..b54e7b2 100644 --- a/css/theme-gruvbox.css +++ b/css/theme-gruvbox.css @@ -1318,7 +1318,7 @@ button.branch-dropdown-button, .ui.basic.button, .ui.basic.buttons .button { /* Search Bar */ -.gt-mb-4 { +.ui.secondary.pointing.tabular, .gt-mb-4 { padding-left: 10px !important; margin: 0px !important; } @@ -1464,7 +1464,7 @@ div.ui.twelve.wide.column { .user.profile .ui.secondary.stackable.pointing.menu { border-bottom: none; } -.user.profile .ui.secondary.stackable.pointing.menu .item { +.user.profile .ui.secondary.stackable.pointing.menu .item, .ui.secondary.pointing.tabular .item { background-color: var(--yellow) !important; color: var(--fghl) !important; padding: 12px !important; @@ -1472,7 +1472,10 @@ div.ui.twelve.wide.column { border-top-right-radius: 5px; margin: 0px 10px 0px 0px !important; } -.user.profile .ui.secondary.stackable.pointing.menu .active.item, .user.profile .ui.secondary.stackable.pointing.menu .item:hover { +.ui.secondary.pointing.tabular { + padding-top: 0px !important; +} +.user.profile .ui.secondary.stackable.pointing.menu .active.item, .user.profile .ui.secondary.stackable.pointing.menu .item:hover, .ui.secondary.pointing.tabular a.item:hover, .ui.secondary.pointing.tabular .active.item, .ui.secondary.pointing.tabular a.active.item:hover { background-color: var(--yellowhl) !important; color: var(--white) !important; }