From 196f0044b732d4826e20510cddc9d3b2b10ef3ae Mon Sep 17 00:00:00 2001 From: John Mertz Date: Thu, 28 Sep 2023 17:24:52 +0000 Subject: [PATCH] Footer, remove delimiters in list, fix radius in heading --- css/theme-gruvbox.css | 42 +++++++++++++++++++++++++++--------------- 1 file changed, 27 insertions(+), 15 deletions(-) diff --git a/css/theme-gruvbox.css b/css/theme-gruvbox.css index 15bec6b..f00cf24 100644 --- a/css/theme-gruvbox.css +++ b/css/theme-gruvbox.css @@ -121,9 +121,6 @@ a.item { .ui.secondary.menu .dropdown.item > .menu, .ui.text.menu .dropdown.item > .menu { } -#footer { - background-color: var(--blue); -} .ui.menu .dropdown.item .menu { background: #020410; } @@ -1260,16 +1257,6 @@ button.branch-dropdown-button, .ui.basic.button, .ui.basic.buttons .button { .repository .ui.attached.isSigned.isVerified.message { background-color: #0d2407; } -.page-footer { - background-color: var(--blue) !important; - color: var(--bghl) !important; -} -.page-footer a { - color: var(--fghl) !important; -} -.page-footer a:hover { - color: var(--white); -} .ui.action.tiny button:hover, .ui.action.tiny button.primary { background-color: var(--cyanhl); color: var(--white) !important; @@ -1388,12 +1375,16 @@ form.ui.form.ignore-dirty input { .repository.file.list #repo-files-table thead th { background-color: var(--blue) !important; color: var(--fghl) !important; - border-top-left-radius: 5px !important; - border-top-right-radius: 5px !important; } .repository.file.list #repo-files-table thead th a:hover { color: var(--fghl) !important; } +.repository.file.list #repo-files-table tbody td { + border-top: 0px !important; +} +.repository.file.list #repo-files-table tbody tr { + border-bottom: 0px !important; +} .repository.file.list #repo-files-table tbody tr:hover { background-color: var(--bluehl) !important; } @@ -1510,3 +1501,24 @@ div.ui.twelve.wide.column { .page-content.explore.repositories { background-color: var(--bg) !important; } + /* Footer */ +#footer { + background-color: var(--blue); +} +.page-footer { + background-color: var(--blue) !important; + color: var(--bghl) !important; + border-top: none !important; +} +.page-footer, .page-footer a { + color: var(--fghl) !important; +} +.page-footer div.ui.dropdown, .page-footer a { + padding-right: 20px; +} +.page-footer a[href="/assets/js/licenses.txt"], .page-footer a[href="/api/swagger"] { + padding-left: 20px; +} +.page-footer a:hover { + color: var(--white); +}