@charset 'utf-8';

#condition label {
	margin-right: 0.5em;
}
#condition input[type=number] {
	width: 5em;
	text-align: right;
}
#condition input[type=text] {
	width: 3em;
}
#result {
	width: 98%;
	font-family: Consolas, 'Courier New', monospace;
	height: 10em; /* for outdated browser */
	height: 30vh;
}
.download {
	margin-left: 0.5em;
}