media-fonts/jetbrains-mono
media-fonts/monoid