テーマを変更してもフォントが反映されない

サポート宛にいただきましたご指摘の要約です。

○ご指摘

ユーザーオプションから、テーマを変更しても、フォントについては
プロジェクトのオプションで設定したフォントが有効になってしまいます。

○回答

プロジェクトのフォント設定は、複数の利用者が利用する場合に
フォントを揃えるための設定(=個人ごとのフォント設定を無効にするための設定)です。
そのため、プロジェクトのフォント設定が有効な場合には
テーマで指定したユーザーのフォント設定は無視されます。