diff options
Diffstat (limited to 'web_src/css/repository.css')
-rw-r--r-- | web_src/css/repository.css | 9 |
1 files changed, 3 insertions, 6 deletions
diff --git a/web_src/css/repository.css b/web_src/css/repository.css index 8674793bf0..77b41e4d16 100644 --- a/web_src/css/repository.css +++ b/web_src/css/repository.css @@ -153,12 +153,9 @@ padding-left: 23px; } -.repository .ui.tabs.container { - margin-top: 14px; - margin-bottom: 0; -} - -.repository .ui.tabs.container .ui.menu { +/* For the secondary pointing menu, respect its own border-bottom */ +/* style reference: https://semantic-ui.com/collections/menu.html#pointing */ +.repository .ui.tabs.container .ui.menu:not(.secondary.pointing) { border-bottom: 0; } |