- #9576 : A last-minute fix for pushbutton in Opera/Konqueror/Safari got lost...

- #9576 : A last-minute fix for pushbutton in Opera/Konqueror/Safari got lost in the move to the new template system.
http://drupal.org/node/9576#comment-11328
This still suffers from the Safari gamma bug, which we agreed not to cater to.