increased main font size to 13.3px; fixes #4