few thoughts: I am fine with both, requested way or setting it in CSS if official documentation/help (maybe also linked from settings) leads in required direction when searching for “font”. Settings menu might become to be huge over time. Default font could be set there but might confuse people when overridden by CSS snippets.