reduced font sizes, fix #9