.toc-title {
	margin-block-end: 0.5em;
	font-weight: 900;
	text-transform: uppercase;
	color: var(--ui-text-muted);
}
#TableOfContents {
	ul, ol {
		list-style: none;
		margin: 0;
		padding: 0;
	}
	li {
		margin-block: 0.5em;
		margin-inline: 0;
	}
	a {
		display: inline-block;
		line-height: 1.5;
	}
	li > ul, li > ol { /* indent subheadings */
		margin-inline-start: 1em;
	}
}
.toc details {
	max-width: 45ch;
	background: rgba(0,0,0,0.2);
	padding: 1em;
	border-radius: 0.5em;
}