diff options
| author | Adam Stück <adam@adast.xyz> | 2023-02-07 17:27:00 +0100 |
|---|---|---|
| committer | Adam Stück <adam@adast.xyz> | 2023-02-07 17:27:00 +0100 |
| commit | 55ff072dbd172836c71ba9ac06bd62a709693c8f (patch) | |
| tree | 7ff615d70283f5d46b7b1a89d6fd7046f7daec97 /.config/firefox/userChrome.css | |
| parent | dc8f0a8e9d77b8c3c7806b13e02761f81ab8a69b (diff) | |
firefox: userChrome indentation
Diffstat (limited to '.config/firefox/userChrome.css')
| -rw-r--r-- | .config/firefox/userChrome.css | 7 |
1 files changed, 3 insertions, 4 deletions
diff --git a/.config/firefox/userChrome.css b/.config/firefox/userChrome.css index 9a6ced0..a7dc2ba 100644 --- a/.config/firefox/userChrome.css +++ b/.config/firefox/userChrome.css @@ -35,7 +35,7 @@ #TabsToolbar, #tabbrowser-tabs { --tab-min-height: 29px !important; } - /* Tweak for covering a line at the bottom of the active tab on some themes 8/11/2021 */ +/* Tweak for covering a line at the bottom of the active tab on some themes 8/11/2021 */ #main-window[sizemode="normal"] #toolbar-menubar[autohide="true"] + #TabsToolbar, #main-window[sizemode="normal"] #toolbar-menubar[autohide="true"] + #TabsToolbar #tabbrowser-tabs { --tab-min-height: 30px !important; @@ -46,11 +46,11 @@ border-bottom-width: 0 !important; } - /* [Connected Tabs] Set a max height based on min-height plus margin-block: 1px 0 */ +/* [Connected Tabs] Set a max height based on min-height plus margin-block: 1px 0 */ #TabsToolbar, #TabsToolbar > hbox, #TabsToolbar-customization-target, #tabbrowser-arrowscrollbox { max-height: calc(var(--tab-min-height) + 1px) !important; } - /* [Connected Tabs] Adjust padding around icons on buttons to avoid crushed images */ +/* [Connected Tabs] Adjust padding around icons on buttons to avoid crushed images */ #TabsToolbar-customization-target toolbarbutton > .toolbarbutton-icon, #TabsToolbar-customization-target .toolbarbutton-text, #TabsToolbar-customization-target .toolbarbutton-badge-stack, @@ -60,6 +60,5 @@ } /* Tweak Options as of 1/12/2022; Generated Thu Oct 27 2022 22:16:07 GMT+0200 (Central European Summer Time) */ - .tabbrowser-tab:not([pinned]):not(:hover) .tab-close-button { visibility: collapse !important; } .tabbrowser-tab:not([pinned]):hover .tab-close-button { visibility: visible !important; display: block !important; } |