Small tweak to GUI element sizes.