Nummerierung der Tab

/* Tabs nummerieren */
// ==UserScript==
// @name           Numbered Tabs
// @namespace      http://anttirt.net/
// @description    Adds numbers to tab labels (useful with eg. Pentadactyl)
// @include        main
// @compatibility  Firefox 4.0
// @author         anttirt
// @version        1.0b
// @homepage       https://github.com/anttirt/numbered-tabs-firefox
// ==/UserScript==

(function() {
    var stripPat = /^\d\d*  /;
    var container = gBrowser.tabContainer;

    function update(event) {
        var tab = event.target;
        if(typeof tab.tabIndex == "undefined") {
            updateAll();
        }
        else {
            tab.label = String(tab.tabIndex) + "  " + tab.label.replace(stripPat, "");
        }
    }

    function updateAll(event) {
        var skip = false;
        for(var i = 0; i < container.allTabs.length; ++i) {
            var tab = container.allTabs[i];
            if(event.type == "TabClose" && tab == event.target) {
                skip = true;
                continue;
            }
            tab.tabIndex = i + (skip ? 0 : 1);
            tab.label = String(tab.tabIndex) + "  " + tab.label.replace(stripPat, "");
        }
    }

    container.addEventListener("TabAttrModified", update, false);
    container.addEventListener("TabOpen", updateAll, false);
    container.addEventListener("TabMove", updateAll, false);
    container.addEventListener("TabClose", updateAll, false);
})();

/* userChrome.css */
/* tab-numbering.css */
/* Add numbers to tabs. You can to make switching the first 8 tabs with Ctrl+[number key] */
tabs {
   counter-reset: tab-counter;
}
 .tab-label::before {
   background-color: white;
   border-radius: 0.25em;
   border: 1px solid white;
   box-sizing: border-box;
   color: black;
   content: counter(tab-counter) "";
   counter-increment: tab-counter;
   display: block;
   float: left;
   font-size: 0.8em;
   font-weight: bold;
   height: 1.5em;
   line-height: 1;
   margin: 0 0.5em 0 0;
   padding: 0.1em 0.25em 0.25em 0.25em;
   position: relative;
   text-align: center;
   top: 0.35em;
   vertical-align: middle;
   min-width: 1.7em;
}