font size tweaks to fix #14 and to fix #16