プログラミング用フォント Ricty Diminished
rictyfonts.github.io