Monospaced fonts

日本語混じりの文章の列位置を揃えるため、文字幅比率が半角1:全角2に調整されたフォントを使用する。

2023/06現在、以下のフォントが有力と思う。