diff options
| -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); +} |