body{
	font: 0.8em Verdana, Geneva, Arial, Helvetica, sans-serif;
	padding: 0px;
	margin: 0px;
}

p{
	text-align: justify;
	text-indent: 20px;
}

ul{
	list-style: url(lista.gif)
}

a{
	color: #146c8c;
	text-decoration: none;
}

a:hover{
	color: #12799f;
	font-weight: bold;
}

a img{
	border: 0;
}

table{
	margin-left: 50px;
	border: 1px solid #a64141;
	background: #aaa;
}

table tbody tr th{
	border: 1px solid #a64141;
	background: #1f4488;
	color: #fff;
}

table tbody tr td{
	border: 1px solid #a64141;
	background: #fff;
}

.alerta{
	margin: 0px;
	padding: 10px;
	background: #aa0000;
	color: #fff;
}

.alerta a{
	text-decoration: none;
	font-weight: bolder;
	color: #eee;
}

.alerta a:hover{
	color: #666;
}

.copyright{
	font-size: 0.8em;
	margin: 20px auto 10px auto;
	padding: 10px;
	border-top: 2px solid #aaa;
	border-bottom: 2px solid #aaa;
}

h1, h2, h3, h4, h5, h6{
	border-bottom: 3px solid #00ff11;
	padding: 5px;
	margin: 20px 0px 10px 0px;
}

h1{
	font-size: 1.5em;
}
h2{
	font-size: 1.4em;
}
h3{
	font-size: 1.3em;
}
h4{
	font-size: 1.2em;
}
h5{
	font-size: 1.1em;
}
h6{
	font-size: 1.0em;
}

.titulo{
	font-size: 1.8em;
	border-top: 3px solid #000;
	border-bottom: 3px solid #000;
	padding: 0px 0px 0px 20px;
	margin: 15px auto 0px auto;
}

pre{
	font-size: 1.1em;
}

ol li{
	margin: 7px;
}

.prettyprint{
	background: #eee;
}

.bnf{
	color: #008000;
}

.pseudo{
	color: #800080;
}