header > h1{
	font-family:
		'Caveat',
		-apple-system, BlinkMacSystemFont, avenir next,
		avenir, segoe ui, helvetica neue,
		helvetica, Cantarell, Ubuntu,
		roboto, noto, arial, sans-serif;
	font-weight: 600;
	font-size: 2em;
	color: #FF4500;
}
header > h1 > a{
	font-family:
		'Caveat',
		-apple-system, BlinkMacSystemFont, avenir next,
		avenir, segoe ui, helvetica neue,
		helvetica, Cantarell, Ubuntu,
		roboto, noto, arial, sans-serif;
	color: #FF4500;
	/* text-decoration-line: none; */
}
article {
	text-align: center;
}
article > h2 {
	text-align: left;
}
#p_keyboard {
	text-align: left;
}
progress {
	width: 100%;
}
.green700 {
	color: green;
	font-weight: 700;
}
#textarea_studentsText {
	width: 88%;
	text-align: center;
}
#div_exerciseBody {
	font-family: 'DejaVu Sans Mono', Menlo, Consolas,
		Monaco, 'Liberation Mono', 'Lucida Console', monospace;
}
footer {
	margin-top: 6em;
}
footer > p {
	font-size: xx-small;
}