Tweak styling of dock panel. Use push button instead of toolbutton.