Increase font size

Authored by nienhueser on Jan 22 2017, 10:39 AM.