.tooltip {
	display: none;
}
.builtInType {
	color:#006600;
}
.returnValue {
	color:#006600;
}
.argument {
	color: #993333;
}

.extendedType {
	font-style: italic;
	border-width: 0 0 0 5px;
	border-style: solid;
	border-color: #EFEFEF;
	padding: 5px 5px 5px 10px;
	line-height:90%;
}