Steve VanDevender noticed that fixing the default text window font
caused the rip window to use this font as well, due to intricacies
of X11 resource relationships.
NetHack*font: variable
NetHack*display_file*font: fixed
NetHack*tombstone*font: fixed
-NetHack*rip*font: -*-times-medium-r-*-*-12-*-*-*-*-*-*-*
+NetHack*text*rip*font: -*-times-medium-r-*-*-12-*-*-*-*-*-*-*
NetHack*menu*font: fixed
NetHack*text*font: fixed
NetHack*map*font: nh10