I was editing my user preferences and made some adjustments such as highlight current line, etc. and on save it made the font appear to be size 7 or so. The font size in my settings was 10 so I’m not sure why this happened. I had to bump the font-size up to 13 in order for it to look normal.