div.highlight_div {
	font-family: monospace;
	overflow: auto;
	width: 93%;
	margin: 5px 0pt 15px;
	padding: 10px 15px;
	border-left: 5px solid #F4A94F;
	border-right: 1px solid #CCC;
	border-top: 1px solid #CCC;
	border-bottom: 1px solid #CCC;
}

div.highlight_div pre  {
	margin: 0;
	padding: 0 0 5px 15px;
	border: 0;
	background: transparent none no-repeat fixed 0px 0px
}

div.highlight_div pre ol  {
	margin: 0;
	padding: 0 0 0 20px;
	border: 0;
}

div.highlight_div pre ol li  {
	margin: 0;
	padding: 0;
	border: 0;
}

div.highlight_botones {
	text-align: right;
}

a.highlight_mostrar {
	font-weight: bold;
	color: red
}

p.highlight_error {
	font-weight: bold;
	text-align: center
}