html > body.bare {
	margin: 0;
	--bs-body-bg: var(--aA);
}

.main {
	background-color: var(--bC);
}

h3 {
	border-top: 4px dotted var(--l1);
	padding-top: 16px;
	text-align: center;
}

pre {
	background-color: var(--lB);
	padding-left: 30px;
	padding-right: 30px;
	padding-top: 5px;
	padding-bottom: 5px;
}

.deprecated {
	text-decoration: line-through !important;
}