diff options
| author | Reiner Herrmann <reiner@reiner-h.de> | 2023-01-02 19:30:31 +0100 |
|---|---|---|
| committer | Reiner Herrmann <reiner@reiner-h.de> | 2023-01-02 19:30:31 +0100 |
| commit | 1de06324ca692f3b6a1341da2b6210993814e3d9 (patch) | |
| tree | d9ebbc6c6a94ba5e7d92fa1e5a74ec2d4fb94057 | |
| parent | 32f32ee2dada952c91b3c7b74c7b1c96ee0d69bc (diff) | |
firefox: add userChrome.css
| -rw-r--r-- | firefox/userChrome.css | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/firefox/userChrome.css b/firefox/userChrome.css new file mode 100644 index 0000000..73835da --- /dev/null +++ b/firefox/userChrome.css @@ -0,0 +1,11 @@ +/* https://www.reddit.com/r/FirefoxCSS/comments/8ruy2d/numbered_tabs_revisited/ */ +#tabbrowser-tabs{ + counter-reset: n_tabs 0; +} +.tabbrowser-tab .tab-content{padding-left: 2px;} +.tabbrowser-tab .tab-content::before{ + display: -moz-box; + padding-right:4px; + counter-increment: n_tabs; + content: counter(n_tabs); +} |