Font size update

Generated by commit 39e1506a1a1dab22b8540b5376c69acf19ff8252; pushed to Travis build 37