@CHARSET "UTF-8";

.console_info {
	background-color: #b4ffb4;
	border-top: 2px solid #80b480;
	border-bottom: 2px solid #80b480;
	margin-top: 4px;
	margin-bottom: 4px;
	padding: 4px;
}

.console_error {
	background-color: #ffb4b4;
	border-top: 2px solid #b48080;
	border-bottom: 2px solid #b48080;
	margin-top: 4px;
	margin-bottom: 4px;
	padding: 4px;
}