@CHARSET "UTF-8";

* {
	font-size:9pt;
	font-family: monospace;
}
button {
	font-size: 15pt;
	font-weight: bold;
	width: 100%;
	height: 70px;
}