Yesterday my browser was misbehaving, but I could make it do what I wanted. I considered it challenging enough to share the
experienceI added the style definitions to userChrome.css, restarted firefox and lo and behold — those bloody buttons where still there, taking up screen estate!