improved button style

Disabled button highlight if button is disabled.
Disabled buttons are now darke to distinguish them from enabled buttons.