smaller xemacs font