#content h2 {
	margin: 12px  0px  0px  0px;
}

#content h3 {
	margin:  0px  0px  6px 20px;
	font-size  : 13px;
}

#content div.def {
	position: relative;
	margin :  0px  0px  6px 20px;
	padding:  5px 10px;
	background: #FFFFFF url(../images/bgDefinition.gif);
}
#content div.defn {
	width : 430px;
}
#content div.defw {
	width : 540px;
}

#content div.def img {
	float: right;
	width: 90px;
}

#content div.def p.tipo {
	font-weight: bold;
	color: #000099;
}

#content div.def p.de {
	margin :   0px   0px  -3px  10px;
}
#content div.def p.es {
	margin :   0px   0px   6px  10px;
	color  : #555555;
}

#content table.def {
	width : 450px;
	margin :  0px  0px  6px 20px;
}

#content div.ejem {
	width : 400px;
	margin :  6px  0px  6px 20px;
}