/* Which face --toddyi-font-sans leads with, chosen by the script the current
   locale is written in. The attribute is set on <html>, so these win over the
   :root default in theme.css on specificity. (#214) */
[data-script="arabic"] { --toddyi-font-script: "Noto Sans Arabic"; }
[data-script="devanagari"] { --toddyi-font-script: "Noto Sans Devanagari"; }
[data-script="japanese"] { --toddyi-font-script: "Noto Sans JP"; }
[data-script="korean"] { --toddyi-font-script: "Noto Sans KR"; }
[data-script="han"] { --toddyi-font-script: "Noto Sans SC"; }
