Einstein-9: Changed the font size