XBoard*boardSize: Small
XBoard*clockFont: -*-*-bold-r-normal--*-*-*-*-*-*-*-*
XBoard*coordFont: -*-*-bold-r-normal--*-*-*-*-*-*-*-*
XBoard*font: -*-*-bold-r-normal--*-*-*-*-*-*-*-*
XBoard*pixmapDirectory: /usr/share/xboard/theme

