diff options
author | pks <pks@pks.rocks> | 2022-12-31 10:44:42 +0100 |
---|---|---|
committer | pks <pks@pks.rocks> | 2022-12-31 10:44:42 +0100 |
commit | 57d384e477bfa8ab6f8467bb8ad52054e918167b (patch) | |
tree | 22ea465c87f9e06b71cd3f59a9e6c170f57cf291 | |
parent | c40e1c3603af15dc49efa3ec97c5f276357080a5 (diff) |
firefox: tab counter
-rw-r--r-- | mozilla/.mozilla/firefox/pks.default/chrome/userChrome.css | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/mozilla/.mozilla/firefox/pks.default/chrome/userChrome.css b/mozilla/.mozilla/firefox/pks.default/chrome/userChrome.css index 292f913..5e97c30 100644 --- a/mozilla/.mozilla/firefox/pks.default/chrome/userChrome.css +++ b/mozilla/.mozilla/firefox/pks.default/chrome/userChrome.css @@ -52,3 +52,15 @@ tab { .tabbrowser-tab:hover .tab-background:not([selected]) { background: #eeeeee !important; } + +/* Tab counter */ +#tabbrowser-tabs{ + counter-reset: n_tabs 0; +} +.tabbrowser-tab .tab-content{padding-left: 2px;} +.tabbrowser-tab .tab-content::before{ + display: -moz-box; + padding-right:3px; + counter-increment: n_tabs; + content: counter(n_tabs); +} |