On a more positive note, the constant stream of UI updates that used to wreck my userChrome.css fixes led me to switch to the TreeStyleTabs extension. Combined

On a more positive note, the constant stream of UI updates that used to wreck my userChrome.css fixes led me to switch to the TreeStyleTabs extension. Combined with a few extensions to the base TST extension (yes, extensions for an extension), the UI is now quite comfortable, even with a large number of tabs (SimpleTabGroups extension can help when things become unmanageable).