summaryrefslogtreecommitdiff
path: root/mozilla/.mozilla
diff options
context:
space:
mode:
authorpks <pks@pks.rocks>2022-12-31 10:44:42 +0100
committerpks <pks@pks.rocks>2022-12-31 10:44:42 +0100
commit57d384e477bfa8ab6f8467bb8ad52054e918167b (patch)
tree22ea465c87f9e06b71cd3f59a9e6c170f57cf291 /mozilla/.mozilla
parentc40e1c3603af15dc49efa3ec97c5f276357080a5 (diff)
firefox: tab counter
Diffstat (limited to 'mozilla/.mozilla')
-rw-r--r--mozilla/.mozilla/firefox/pks.default/chrome/userChrome.css12
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);
+}