*background: grey75
*XmPushButton.fontList: -*-courier-bold-r-*--18-*
*XmLabelGadget.fontList: -*-courier-bold-r-*--18-*
*XmList.fontList: -*-courier-medium-r-*--18-*
