I am not sure how this happened, but some of the fonts shown in DB Programmer suddenly got much smaller... Nothing else on my computer has changed font wise and to my knowledge I haven't changed any system setting in weeks, but now the left panel and some other elements of the display seem to be using a much smaller font then they did before, yet the right panel is normal. Any ideas how to fix this?
