Ricty Diminished --- fonts for programming