*font:	-*-helvetica-medium-r-normal--*-120-*-*-*-*-iso8859-1
*background:	#c0c0c0
*borderColor:	#6f6f6f
*Grip*foreground:	#c0c0c0
