Both "border: 0px !important" are my additions. I searched the forums and google, but no luck. Is there any proper documentation of what can be done with userChrome.css somewhere?
The DOM Inspector is the best tool I've found to figure out where to set things. File -> Inspect a Window -> (current browser window), then click the "Find a node to inspect by clicking on it" pointer button on the far left, and click what I want to modify.
Thanks a lot, I'll look more into the DOM Inspector, it seems like a quite powerful tool.
Now I must just figure out how to change the height of #sidebar-box to make it the same height as the tab-bar. How did you find out what CSS parameters #sidebar-splitter and other #thingies accept?
You probably want sidebarheader instead, since the height of #sidebar-box is the full height of the sidebar (varies depending on the size of your browser window).
A DOM node without a specific ID is specified without #, correct. The caveat here is that the style rule will affect <em>all</em> DOM nodes with that element name. Fortunately in this case, there's only one sidebarheader element.
Last question for tonight if you bear with me. If I want to set attributes for a sub node that doesn't have an id, but have a class name/value, how would I refer to it? Ie, hbox -> vbox -> sidebarheader -> toolbarbutton, which have class name/value "tabs-closebutton"?
Would it be something like "sidebarheader .tabs-closebutton {stuff}"?
Yes, that'd work. The English equivalent of that rule would be "Apply this to all elements with the class 'tabs-closebutton' beneath any sidebarheader element."
Very nice. Now maybe I can stop asking stupid UserChrome.css related questions here and maybe soon start answering stupid UserChrome.css related questions instead.
The DOM Inspector is the best tool I've found to figure out where to set things. File -> Inspect a Window -> (current browser window), then click the "Find a node to inspect by clicking on it" pointer button on the far left, and click what I want to modify.
That quote should really be a top item/sticky in any discussion regarding UserChrome.css.
mozillaZine is an independent Mozilla community and advocacy site. We're not affiliated or endorsed by the Mozilla Corporation but we love them just the same.