[gerdesj]

I still have an original cardboard strip with the function key codes on it somewhere. Ctrl-F9 ... font (I think, it was rather a long time ago).