@charset 'utf-8';

#source table, #result table {
	width: 100%;
}
#source textarea, #result textarea {
	width: 98%;
	height: 10em; /* for outdated browser */
	height: 30vh;
}