Is there any way in the various preferences files to change the default font? It seems the only one that can be used is Arial at 10 point size. The ability to use another font would be a great addition.