*.foreground:		white
*.background:		#004080
*.fontList:		-*-helvetica-bold-r-normal--10-*

*.deiconifyButton.fontList:	-*-new century schoolbook-bold-i-normal--14-*
*.deiconifyButton.background:	#660088

*.userTitle.fontList:		-*-new century schoolbook-bold-i-normal--12-*
*.userTitle.background:		#660088

*.userButton04.foreground:	black
*.userButton04.background:	yellow
*.userButton05.foreground:	black
*.userButton05.background:	yellow
*.userButton06.foreground:	black
*.userButton06.background:	yellow
*.userButton07.foreground:	black
*.userButton07.background:	yellow
*.userButton08.foreground:	black
*.userButton08.background:	yellow

*.restartButton.background:	#008000
*.quitButton.background:	red

*.XmSeparator.separatorType:	XmDOUBLE_LINE
