body {
	font-family: monospace;
	font-size: 12pt;
	color: black;
	margin: 0;
	padding: 0;
}

div.userkeys {
	margin: 0;
	padding: 0;
}

div.userkey {
	display: inline-block;
	text-align: center;
	border: 1pt dashed black;
	padding: 0.75em;
	margin: 0;
}

div.userkey span.keyid {
	font-weight: bold;
}