I have used for a while a different font for the editor from the one it Zettlr was shipped on. I put the change of font in Custom CSS. I wanted to use back the default font, so I deleted everything in the Custom CSS. Anyway, the font used is still the one I chose, and I cannot go back to the default font in Zettlr. Is there anything I can do in order to restore Zettlr to the original shipped configuration? I am using the last version (1.8.7).