I am no longer editing the font size and line height. I also added some instructions for themeify. The hope is that if people are happy with the existing font size from octoprint, they won't complain. If they want something different, then they can use a plugin that has lots of configuration options to do that (Themeify).