diff options
| author | Johannes Löthberg <johannes@kyriasis.com> | 2014-08-13 23:43:40 +0200 |
|---|---|---|
| committer | Johannes Löthberg <johannes@kyriasis.com> | 2014-08-13 23:43:40 +0200 |
| commit | a7b75428089c54b6544be51699de41789a56c47c (patch) | |
| tree | 2c393d5c3c514f3672355253faf2e7703ba46e9c /pentadactyl | |
| parent | 0509ddccabb1fce9e1dcef342f14830207571c76 (diff) | |
| download | dotfiles-a7b75428089c54b6544be51699de41789a56c47c.tar.xz | |
penta/chrome.css: reindent, remove tab being full-width
The full-width thing had a bug where tabs ended up in weird places with
gaps between them when you closed old tabs.
Diffstat (limited to 'pentadactyl')
| -rw-r--r-- | pentadactyl/chrome.css | 34 |
1 files changed, 16 insertions, 18 deletions
diff --git a/pentadactyl/chrome.css b/pentadactyl/chrome.css index 2f56681..bf2ea10 100644 --- a/pentadactyl/chrome.css +++ b/pentadactyl/chrome.css @@ -4,49 +4,47 @@ /* Get rid of the bottom border */ #TabsToolbar:after { - border-bottom: 0px !important; + border-bottom: 0px !important; } /* Hide the new curved tab edges */ .tab-background { - opacity: 0 !important; + opacity: 0 !important; } /* Hide the little graphic seperator between inactive tabs */ .tabbrowser-tab:before, .tabbrowser-tab:after { - visibility: hidden !important; + visibility: hidden !important; } - /* Reduce the padding around the contents of a tab */ .tabbrowser-tab .tab-content, .tabbrowser-tab[selected] .tab-content { - padding: 0 2px 2px 4px !important; + padding: 0 2px 2px 4px !important; } #TabsToolbar { - -moz-appearance: none !important; - background: #dedede !important; + -moz-appearance: none !important; + background: #dedede !important; } -/* Mostly hacks to try deal with tab overflow, it's not pretty */ -#tabbrowser-tabs { - margin-left: -15px !important; - margin-right: -15px !important; +/* Hide the newtab button */ +.tabs-newtab-button { + display: none !important; } -#tabbrowser-tabs ~ #alltabs-button { - padding-left: 15px !important; +/* Mostly hacks to try deal with tab overflow, it's not pretty */ +#tabbrowser-tabs { + margin-left: -15px !important; + margin-right: -15px !important; } -/* Make the tab expand to fill the maximum width */ .tabbrowser-tab { - max-width: 100% !important; - color: #000 !important; + color: #000 !important; } .tabbrowser-tab[selected] { - background: #787777 !important; - color: #efefef !important; + background: #787777 !important; + color: #efefef !important; } |