Increase GUI font size

Linux: 7pt -> 9pt
Mac: 9pt -> 13pt