div.highlight_div {
	font-family: monospace;
	overflow: auto;
	width: 93%
}

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

p.highlight_error {
	font-weight: bold;
	text-align: center
}