@CHARSET "UTF-8";

body {
	background-color: white;
	color: black;
}

h1 {
	font-size: 140%;
}

h1 a {
	color: black;
	text-decoration: none;
}

.unit-label {
	margin-left: 0.1em;
	font-size: small;
	color: dimgray;
}

.button {
	padding: 1px;
	border: 1px solid black;
	font-size: x-small;
	background-color: lavender;
}

.button.hover,.button:hover {
	background-color: honeydew;
}

.button.active,.button:active {
	background-color: navajowhite;
}