Increasing the size of the pause button. fixes #89