body {
	background-color: #15122d;
	color: #ddd;
	font-family: sans-serif;
	max-width: 35em;
	margin: auto;
}
h1 {
	font-family: ui-serif, serif;
	font-style: italic;
	color: #cb3;
}
table {
	border: 1px solid;
}
caption {
	font-style: italic;
}
th {
	padding-inline: 0.5ch;
	text-align: end;
}
td {
	padding-inline: 0.5ch;
	border-left: 1px solid;
}
a {
	color:#b7c;
	font-style: italic;
}
hr {
	margin: 1em 0.5em !important;
}
#info * {
	margin: auto;
}
code {
	display: block;
	max-width: fit-content;
}