RESOLVED - bug 116: change font 
https://www.bugheaven.com/bugzilla/DKE/show_bug.cgi?id=116