From ff04bd24ca7fbb6fc9f010ab8f19655309da042d Mon Sep 17 00:00:00 2001 From: John Mertz Date: Thu, 28 Sep 2023 18:05:01 +0000 Subject: [PATCH] Simplify/standardize search --- css/theme-gruvbox.css | 30 +++++++++++++++++++----------- 1 file changed, 19 insertions(+), 11 deletions(-) diff --git a/css/theme-gruvbox.css b/css/theme-gruvbox.css index b54e7b2..ae1fa03 100644 --- a/css/theme-gruvbox.css +++ b/css/theme-gruvbox.css @@ -215,9 +215,18 @@ a.item { .issue.list > .item .comment { color: #129c92; } -.ui.primary.button, a.ui.basic:hover, .ui.basic.button:hover { - background-color: var(--cyanhl); - color: var(--white); +.ui.primary.button { + background-color: var(--magenta) !important; + color: var(--fghl) !important; + border: 0px !important; +} +.ui.primary.button:hover { + background-color: var(--magentahl) !important; + color: var(--white) !important; +} +a.ui.basic:hover, .ui.basic.button:hover { + background-color: var(--magentahl); + color: var(--white) !important; } .ui.basic.label { color: var(--fghl); @@ -1325,6 +1334,13 @@ button.branch-dropdown-button, .ui.basic.button, .ui.basic.buttons .button { .ui.secondary.stackable a { margin-bottom: 0px; } +form.ui.form.ignore-dirty input { + background-color: var(--bghl) !important; + color: var(--fghl) !important; +} +form.ui.form.ignore-dirty input:hover { + color: var(--white) !important; +} form.ui.form.ignore-dirty, div.ui.right.floated.menu { padding: 10px; background-color: var(--blue) !important; @@ -1350,14 +1366,6 @@ form.ui.form.ignore-dirty { form.ui.form.ignore-dirty input { border: 0px !important; } -.ui.primary.button { - background-color: var(--cyanhl) !important; - color: var(--fghl) !important; -} -.ui.primary.button:hover { - background-color: var(--cyanhl) !important; - color: var(--white) !important; -} .user.profile .ui.fluid input { background-color: var(--bghl) !important; margin: 0px !important;