In addition to this, you can go to
/admin/site_settings/category/user_preferences
.
You can change the font size here.