Agreed, it isn't pretty but it was one I had kicking around from way back.

If you have a better fixed pitch font (that can be distributed freely) I would gladly incorporate it.

BTW, my web server is unaccessible thanks to AT&T's port 80 blocking. If they keep it up I'll move it.

Cheers,

Rex.