.styledef {
	font-family: Arial;
	font-size: 12px;
	font-style: normal;
	line-height: normal;
	top: 2px;
	bottom: 2px;
	clip:   rect(2px auto 2px auto);
	z-index: 1;
	height: 1px;
}