Mozilla XUL > Add-ons-Manager layout / skin?

I'm looking for a documentation about Mozilla's Add-ons-Manager layout or XUL-templates - does anybody know the name开发者_开发问答 of this tabbed-layout on the left-row ?

---

It is a <richlistbox> element with custom styling. Element ID is categories and some styles from http://mxr.mozilla.org/mozilla-central/source/toolkit/themes/winstripe/mozapps/extensions/extensions.css apply to it - look at the styles specified below /*** category selector ***/ comment. Note that I linked to the Windows theme, the styles are different on other platforms.

You can use DOM Inspector to look at the structure of that page yourself.