html:has(.doc-wrap) {
	color-scheme: dark;
	--doc-bg: #111;
	--doc-text: #ddd;
	--doc-title: #fff;
	--doc-border: #223246;
	--doc-button: #162232;
	--doc-button-hover: #1c2c41;
	--doc-link: #8fdfff;
}
html[data-ui-theme='light']:has(.doc-wrap) {
	color-scheme: light;
	--doc-bg: #f7f9fc;
	--doc-text: #1f2937;
	--doc-title: #111827;
	--doc-border: #cbd5e1;
	--doc-button: #fff;
	--doc-button-hover: #eaf1fb;
	--doc-link: #2563eb;
}
html,
body {
	margin: 0;
	padding: 0;
	background: var(--doc-bg);
	color: var(--doc-text);
	font-family: 'Fira Mono', monospace;
}
.back-btn {
	position: fixed;
	top: 10px;
	left: 10px;
	z-index: 10;
	appearance: none;
	border: 1px solid var(--doc-border);
	background: var(--doc-button);
	color: var(--doc-title);
	padding: 6px 10px;
	border-radius: 8px;
	cursor: pointer;
	font-family: inherit;
}
.back-btn:hover {
	background: var(--doc-button-hover);
}
.doc-wrap {
	max-width: 960px;
	margin: 0 auto;
	padding: 54px 24px 32px;
}
h1,
h2 {
	color: var(--doc-title);
	font-family: 'IBM Plex Sans Condensed', sans-serif;
}
h1 {
	font-size: 2rem;
	margin: 0 0 1.5rem;
}
h2 {
	font-size: 1.25rem;
	margin: 1.8rem 0 0.7rem;
}
a {
	color: var(--doc-link);
	text-decoration: underline;
}
#document-rendered p {
	margin: 0.62em 0;
	line-height: 1.55;
}
#document-rendered p.subclause .n {
	font-weight: 600;
	margin-right: 0.4em;
}
#document-rendered ul {
	margin: 0.5em 0 1em;
	padding-left: 1.4em;
}
#document-rendered li {
	margin: 0.3em 0;
	line-height: 1.5;
}
.footer-note {
	margin-top: 3em;
	font-size: 0.9em;
	opacity: 0.7;
}