This GitHub repo
https://github.com/AlexHorovitz/Ohlfs-font-to-ttf-conversionprompted a little banging on the original font format. I was able to convert the original font files to a dfont, which has been merged into the above repo.
Ohlfs in an xterm and a Terminal:
Oh and there's a TTF as well.
I don't know if these could be better. Using the original pixel sizes will be cleaner.
GitHub user @tweedyf did some more work with the original font files and pushed results up to
https://github.com/AlexHorovitz/Ohlfs-font-to-ttf-conversionas the Light and Medium OTF files. At some point I'll try these and the CERN ones as web fonts, to replace what I have used at
http://retro.haleblian.com/next(which should render in Ohlfs in a modern browser.)
Some lab notes regarding what we were up to here:
https://github.com/AlexHorovitz/Ohlfs-font-to-ttf-conversion/issues/1