From 1410d723515ee734053577e4657ef0d525801066 Mon Sep 17 00:00:00 2001 From: John Mertz Date: Thu, 28 Sep 2023 07:13:58 +0000 Subject: [PATCH] A little work on Explore --- css/theme-gruvbox.css | 17 +++++++++++++++-- 1 file changed, 15 insertions(+), 2 deletions(-) diff --git a/css/theme-gruvbox.css b/css/theme-gruvbox.css index 661686a..15bec6b 100644 --- a/css/theme-gruvbox.css +++ b/css/theme-gruvbox.css @@ -81,7 +81,7 @@ a:hover { } .ui.secondary.menu .active.item { color: var(--white); - background-color: var(--greenhl); + background-color: var(--bluehl); } a.item { margin-left: 5px; @@ -1341,7 +1341,7 @@ form.ui.form.ignore-dirty, div.ui.right.floated.menu { margin: 0px !important; } div.ui.right.floated.menu .item { - z-index: 100; + z-index: 1; padding-bottom: 8px; background-color: var(--green) !important; margin: 0px; @@ -1413,6 +1413,7 @@ form.ui.form.ignore-dirty input { } .ui.repository.list .item { padding-top: 10px !important; + border: 0px !important; } .ui.repository.list .item .ui.header .repo-title a { padding: 0px !important; @@ -1497,3 +1498,15 @@ div.ui.twelve.wide.column { .ui.card .extra.content a { color: var(--white); } + +/* Explore */ +.ui.secondary.pointing.menu { + background-color: var(--bg) !important; + margin-bottom: 0px !important; + border-bottom: 0px !important; +} +.page-content .ui.ui.ui.container:not(.fluid) { +} +.page-content.explore.repositories { + background-color: var(--bg) !important; +}