use bigger icons for the thumb bar buttons, to reduce pixel artefacts on...

... high dpi