body {
	font-family:Verdana, Geneva, Arial, Helvetica, "Bitstream Vera Sans", sans-serif;
	font-size:small;
	padding:1em;
	margin:0;
	background-color:#fefefe;
}
body.em-proc {
	cursor:wait;
	opacity:.6
}
body > div {
	margin:0 0 0 2em;
}
h1 > button {
	float:right;
	margin:5px 0 0 0;
}



#msg {
	margin:0 0 2em 0;
	padding:.5em 0;
	color:green;
	font-weight:bold;
}
#msg > * {	font-weight:normal	}
#msg.err {	color:#a00	}
#msg.err > * {	font-style:normal	}
#msg.err > em {
	font-size:85%;
	color:#900
}
#res {
	padding:1em 0 2em 0;
	color:#333;
	font-size:105%;
}
#info {
	 float:left;
	 padding:.5em 1em;
	 border:1px solid #000;
	 background-color:#ddd;
}
#info p {
	  padding:0;
	  margin:0;
}
#info p strong {	padding:0 5px 0 0	}


#pilha {	margin:0	}
#pilha > ul {
	margin:0;
	padding:0 0 0 2em;
}
#pilha > ul > li {
	margin:0;
	padding:.8em;
	border-bottom:1px dashed #999;
	font-size:90%;
}
#pilha > ul > li > strong {
	display:block;
	font-size:115%;
	color:#1a6418
}
#pilha > ul > li > em {
	font-style:normal;
	font-weight:bold;
	color:#642a24;
}

.cabs + pre {
	display:block;
	margin:-.8em 0 0 0;
	padding:0 0 0 2em;
}

p.cmd {
	clear:both;
	padding:1em 0;
	margin:0;
	text-align:right;
}