@CHARSET "ISO-8859-1";

.green{
	color: green;
}

#result{
	margin-top: 1em;
}