michael@0: michael@0: michael@0: michael@0: Bug 1007278: check disabled and non-disabled buttons look different michael@0: michael@0: michael@0: michael@0: michael@0: