diff options
author | pks <pks@pks.rocks> | 2021-08-31 21:35:33 +0200 |
---|---|---|
committer | pks <pks@pks.rocks> | 2021-08-31 21:35:33 +0200 |
commit | 3f8a39f30642e27e38df19fe201bdeee6208e117 (patch) | |
tree | 9e7e1f7816a84757b54cb1fe95fbe71749360f5c /mozilla/.mozilla | |
parent | addd3b9253d61fd68f6104b5cdcdf0b411362a85 (diff) | |
parent | 0e5fbfa210b3a816ea79911c8db05f41bb314ccd (diff) |
Merge branch 'master' of git.fru.gal:dotfiles
Diffstat (limited to 'mozilla/.mozilla')
-rw-r--r-- | mozilla/.mozilla/firefox/pks.default/chrome/userChrome.css | 31 |
1 files changed, 31 insertions, 0 deletions
diff --git a/mozilla/.mozilla/firefox/pks.default/chrome/userChrome.css b/mozilla/.mozilla/firefox/pks.default/chrome/userChrome.css index a157eee..292f913 100644 --- a/mozilla/.mozilla/firefox/pks.default/chrome/userChrome.css +++ b/mozilla/.mozilla/firefox/pks.default/chrome/userChrome.css @@ -21,3 +21,34 @@ menuitem[label="Move to New Window"] display: none !important } +tab { + font-size: 12px !important; +} + +/* Use color and shape to make the tabs look more like tabs */ +.tab-background { + background: #cccccc; + border-radius: 3px 3px 0 0 !important; + margin-bottom: 0px !important; + box-shadow: 0 0 1px 1px rgba(0,0,0,0.1) !important; + border: 1px solid rgba(0,0,0,.5) !important; + border-bottom-width: 0px !important; +} + +/* Selected tabs I want a bright background with a dark foreground */ +.tabbrowser-tab[selected] .tab-background { + background: white !important; +} +.tabbrowser-tab[selected] .tab-label { + color: black !important; + font-weight: bold !important; +} +/* Draw a solid line underneath to make the selected tab look *connected* to the rest of the browser */ +#TabsToolbar { + border-bottom: 1px solid #fcb731 !important; +} + +/* Hover over tabs */ +.tabbrowser-tab:hover .tab-background:not([selected]) { + background: #eeeeee !important; +} |