Some fonts do not look good when the font smoothing property is set to “antialiased” (I'm referring to the rule in html-elements.css), but I have found no way to change such property in the UI. How about adding an option in the UI to override the default?