icse15: Make fonts bigger