Font size update

Generated by commit ce6ca1097fbac849e26eb05f27f26d5e5b402fad; pushed to Travis build 38