That’s the idea. I was sort of prompted by the combined effect of this post (where we tried to have different fonts for different platforms) and seeing Obsidian do it.
As I said, AnkiDroid also had this setting (which they removed :feels-sad-anki:) so we have a precedent for this. And users liked it too so AD is planning to bring this back. So, with that logic I’m simply proposing what AD will do anyway.
As you said, the setting can simply modify a variable in the template.
No, the suggestion is you should be able to change fonts. In AnkiDroid too, that’s how the feature was designed.
For starters, we can simply ship Anki with fonts for different languages.
It took me like a few days of back and forth with people in discord to sort out my custom font issues which is also why I joined the server in the first place. Well, I couldn’t find the custom font section of manual so…
Maybe, that works too I am not sure.