Rename `Default font size` to `Font size`. https://redmine.stoutner.com/issues/351