#output {
	border-radius: 6px;
	background:#FFFEDA;
	margin:10px 0 20px;
	padding:10px;
	font-size:1.2em;
	max-width:900px;
}
#output div {
	margin-bottom:3px;
}
#output .error { color: #c00; }
#output .general { color:#666; }
#output .info { color: #3366cc; }
#output .debug { color: #009933; }
#output .warn { color: #cc9900; }