body {
	font-family: Helvetica, Arial, Geneva, SunSans-Regular, sans-serif;
	font-size: 0.85em;
	color: black;
	margin: 1em;
	background-color: white;
	}
span {
	font-family: monospace;
	white-space: nowrap;
	}