body {
	color: white;
	background: #000;
}

h1 {
	text-align: center;
}

h2 {
	color: white;
	background-color: #900;
	padding-left: 1ex;
	width: 100%;
}

.ejemplo {
	width: 90%;
	margin-top: 1ex;
	margin-bottom: 1ex;
	margin-left: 10px;
	border: 0 0 0 0;
	padding: 1ex;
	color: #AA2;
	background-color: #212;
}

.cmddesc {
	display: block;
}
.hidden {
	display: none;
}

pre {
	border: 0 0 0 0;
	padding: 0 0 0 0;
	margin: 0 0 0 0;
}

table.topciones {
	border: 0 0 0 0;
	padding: 0 0 0 10px;
	margin: 1ex 1ex 1ex 1ex;
	color: #FFFFCC;;
	text-align: left;
	border-style: none;
	font-size: 10px;
	font-family: Verdana, Arial, Helvetica, sans-serif;
}
td.toptname { vertical-align: text-top; }
td.toptdesc { vertical-align: text-top; }

.Estilo2 {color: #FFFFCC; font-family: Verdana, Arial, Helvetica, sans-serif;}
.Estilo3 {color: #FFFFCC; font-weight: bold; font-family: Verdana, Arial, Helvetica, sans-serif;}
.Estilo4 {font-size: 9px}

#console {
	background-color: #050;
	color: #FFF;
}