Previously, the buttons left weird smudges when moving the mouse while a
button was enlarged. It appears to be a rendering engine bug (webkit
gtk), since the same does not happen in Firefox/Chromium. This fix
avoids enlarging the buttons so no residue is left behind.
