@charset "utf-8";
.defined {
	border-bottom: 2px dotted #016698;
}
.definition {
	padding: 3px;
	background-color:#FFFFFF;
	border: 1px solid #016698; 
	position: absolute;
	visibility: hidden;
	display: none;
	z-index: 20;
	width: 200px;
	font-size: 10px;
}
.pointable { cursor: pointer; }