Make zoom slider and free space bar a little smaller by default
This makes more room for the new explanatory label for the zoom slider. The zoom slider in particular was huge, and probably would have stood to be reduced in width anyway even if we didn't add an explanaory label.
Please register or sign in to comment