Could you improve this patch to replace all instances of `default-bg.gif` and `default-bg-reverse.gif` with the css gradient?

Would be nice to do the same for `nav-bg-reverse.gif`, `nav-bg.gif`, and `nav-bg-selected.gif` if you're interested.