Yep, Bigelow & Holmes, also the designers of the Luxi font family. The monospaced font looks like an iteration on Luxi Mono [0], fixing some of the major issue

Yep, Bigelow & Holmes, also the designers of the Luxi font family. The monospaced font looks like an iteration on Luxi Mono [0], fixing some of the major issues (lowercase-ell vs. one, uppercase-o vs. zero). The proportional font likewise looks very similar to Luxi Sans [1], the main differences I see being again the lowercase-ell and zero glyphs. [0] https://www.fontsquirrel.com/fonts/Luxi-Mono https://www.fontsquirrel.com/fonts/Luxi-Mono [1] https://www.fontsquirrel.com/fonts/Luxi-Sans https://www.fontsquirrel.com/fonts/Luxi-Sans