div.highlight {
	font-family: monospace;
	border-left: 5px solid #F4A94F;
	border-right: 1px solid #CCC;
	border-top: 1px solid #CCC;
	border-bottom: 1px solid #CCC;
	margin: 5px 0pt 15px;
	padding: 10px 15px;
	overflow: auto;
	width: 93%
}

a.highlight_mostrar {
	font-weight: bold;
	color: red
}