@charset 'utf-8';

#text-form textarea, #result {
	font-family: monospace;
	width: 98%;
	height: 10em; /* for outdated browser */
	height: 30vh;
}
input[type=submit] {
	margin: 0.5em 0;
}
.download {
	margin-left: 0.5em;
}