:root {
	--docs-font-sans: Inter, ui-sans-serif, system-ui, -apple-system, BlinkMacSystemFont, "Segoe UI", sans-serif;
	--docs-font-mono: "SFMono-Regular", Consolas, "Liberation Mono", monospace;
	/* All docs intentionally share the same wide page width. */
	--docs-page-width: 1280px;
	--docs-page-tablet-width: 860px;
	--docs-page-inline-gutter-desktop: 1rem;
	--docs-page-inline-gutter-tablet: 0.75rem;
	--docs-page-inline-gutter-mobile: 0.5rem;
}

.plot-chart {
	width: 100%;
}

.plot-chart > svg {
	display: block;
	width: 100%;
	max-width: 100%;
	height: auto;
}

.plot-figure-diagram:not(.plot-figure-fit) > .plot-chart {
	width: max-content;
	max-width: none;
}

.plot-figure-diagram:not(.plot-figure-fit) > .plot-chart > svg {
	width: auto !important;
	min-width: 0 !important;
	max-width: none !important;
}

.plot-figure-quantitative > .plot-chart,
.plot-figure-quantitative > .plot-chart > svg,
.plot-figure-fit > .plot-chart,
.plot-figure-fit > .plot-chart > svg {
	width: 100% !important;
	min-width: 0 !important;
	max-width: 100% !important;
}

.plot-chart-toolbar {
	position: sticky;
	z-index: 2;
	left: 0.5rem;
	display: flex;
	width: fit-content;
	max-width: calc(100% - 1rem);
	gap: 0.55rem;
	align-items: center;
	margin: 0 0 0.55rem;
	padding: 0.35rem;
	border: 1px solid var(--line, rgba(0, 0, 0, 0.15));
	border-radius: 0.5rem;
	background: color-mix(in srgb, var(--paper, #fff) 94%, transparent);
	box-shadow: 0 0.35rem 1rem rgba(15, 23, 31, 0.08);
	backdrop-filter: blur(10px);
}

.plot-chart-toolbar[hidden] {
	display: none;
}

.plot-chart-toolbar button {
	flex: 0 0 auto;
	padding: 0.42rem 0.62rem;
	border: 1px solid var(--blue, var(--accent, #176653));
	border-radius: 0.38rem;
	background: var(--paper, #fff);
	color: var(--blue, var(--accent, #176653));
	font: inherit;
	font-size: 0.78rem;
	font-weight: 800;
	cursor: pointer;
}

.plot-chart-toolbar button:hover {
	background: var(--blue-soft, var(--accent-soft, #dcece5));
}

.plot-chart-toolbar button:focus-visible {
	outline: 2px solid var(--blue, var(--accent, #176653));
	outline-offset: 2px;
}

.plot-chart-pan-cue {
	min-width: 0;
	color: var(--muted, #5f6d75);
	font-size: 0.73rem;
	line-height: 1.25;
	overflow-wrap: anywhere;
}

.plot-chart-fallback {
	display: block;
	padding: 1rem;
	color: var(--muted, #5f6d75);
	line-height: 1.5;
	text-align: center;
}

.security-assumption-ref {
	margin: 0.85rem 0;
	padding: 0.65rem 0.8rem;
	border-left: 0.25rem solid var(--blue, #245f9f);
	background: color-mix(in srgb, var(--blue-soft, #dceaf8) 55%, var(--paper, #fff));
	color: var(--muted, #5f6d75);
	font-size: 0.9rem;
	line-height: 1.5;
}

.security-assumption-ref strong {
	color: var(--ink, #1f2529);
}

.term-tooltip {
	position: fixed;
	z-index: 1000;
	max-width: min(22rem, calc(100vw - 1.5rem));
	padding: 0.65rem 0.8rem;
	border: 1px solid var(--line, rgba(0, 0, 0, 0.15));
	border-radius: 0.5rem;
	background: color-mix(in srgb, var(--paper, #fff) 96%, var(--bg, #f5f7f8));
	box-shadow: 0 0.9rem 2.2rem rgba(15, 23, 31, 0.14);
	color: var(--ink, #1f2529);
	font-size: 0.92rem;
	line-height: 1.45;
	pointer-events: none;
	opacity: 0;
	transform: translateY(0.2rem);
	transition:
		opacity 80ms ease,
		transform 80ms ease;
}

.term-tooltip[data-visible="true"] {
	opacity: 1;
	transform: translateY(0);
}

/* Documents embedded by documentation.html use the outer reader navigation. */
body.reader-embedded > .skip-link,
body.paper-statoblast.reader-embedded .sidebar,
body.paper-zoltar.reader-embedded .sidebar {
	display: none;
}

body.paper-statoblast.reader-embedded .site-shell,
body.paper-zoltar.reader-embedded .site-shell {
	display: block;
	width: min(var(--docs-page-width), calc(100% - var(--docs-page-inline-gutter-mobile)));
	padding: 0.5rem 0 2rem;
}

body.paper-statoblast.reader-embedded .paper-content,
body.paper-zoltar.reader-embedded .paper-content {
	min-width: 0;
}

body.doc-openoracle.reader-embedded main {
	padding-top: 0.5rem;
}

/* OpenOracle integration document */

body.doc-openoracle {
	color-scheme: light dark;
	--bg: #f5f7f8;
	--paper: #fff;
	--ink: #1f2529;
	--muted: #5f6d75;
	--line: #d8e0e4;
	--soft: #edf3f5;
	--blue: #245f9f;
	--blue-soft: #dceaf8;
	--green: #1d735d;
	--green-soft: #dcefe8;
	--gold: #8a5d18;
	--gold-soft: #f3e4c6;
	--red: #99453f;
	--red-soft: #f2d9d6;
	--radius: 0.5rem;
	font-family: var(--docs-font-sans);
}

@media (prefers-color-scheme: dark) {
	body.doc-openoracle {
		--bg: #111517;
		--paper: #1a2022;
		--ink: #f1f5f3;
		--muted: #b2bec4;
		--line: #3a464b;
		--soft: #222b2f;
		--blue: #93c2f5;
		--blue-soft: #172a41;
		--green: #75cdae;
		--green-soft: #153a30;
		--gold: #e6bf70;
		--gold-soft: #3b2f18;
		--red: #ee968f;
		--red-soft: #3b2421;
	}
}
body.doc-openoracle * {
	box-sizing: border-box;
}
body.doc-openoracle {
	margin: 0;
	background: var(--bg);
	color: var(--ink);
	font-size: 1rem;
	line-height: 1.62;
}
body.doc-openoracle main {
	width: min(var(--docs-page-width), calc(100% - var(--docs-page-inline-gutter-desktop)));
	margin: 0 auto;
	padding: 3rem 0 4rem;
}

@media (max-width: 1000px) {
	body.doc-openoracle main {
		width: min(var(--docs-page-tablet-width), calc(100% - var(--docs-page-inline-gutter-tablet)));
	}
}

@media (max-width: 640px) {
	body.doc-openoracle main {
		width: min(var(--docs-page-tablet-width), calc(100% - var(--docs-page-inline-gutter-mobile)));
	}
}
body.doc-openoracle header,
body.doc-openoracle section {
	margin-bottom: 1.25rem;
	padding: 1rem;
	border: 1px solid var(--line);
	border-radius: var(--radius);
	background: var(--paper);
}
body.doc-openoracle h1,
body.doc-openoracle h2 {
	margin: 0 0 0.75rem;
	line-height: 1.18;
}
body.doc-openoracle h1 {
	font-size: clamp(2rem, 6vw, 3.5rem);
}
body.doc-openoracle h2 {
	font-size: 1.35rem;
}
body.doc-openoracle p {
	margin: 0 0 1rem;
}
body.doc-openoracle p:last-child,
body.doc-openoracle ul:last-child {
	margin-bottom: 0;
}
body.doc-openoracle a {
	color: var(--blue);
	text-underline-offset: 0.18em;
}
body.doc-openoracle code {
	padding: 0.08rem 0.25rem;
	border-radius: 0.25rem;
	background: var(--soft);
	font-size: 0.94em;
	overflow-wrap: anywhere;
}
body.doc-openoracle td > code:only-child {
	white-space: nowrap;
	overflow-wrap: normal;
}
body.doc-openoracle .invariant-example {
	margin: 0.55rem 0 0;
	padding-top: 0.45rem;
	border-top: 1px solid var(--line);
	color: var(--muted);
}
body.doc-openoracle .invariant-example strong {
	color: var(--ink);
}
body.doc-openoracle .invariant-list {
	display: grid;
	gap: 0.65rem;
	margin-top: 0.75rem;
}
body.doc-openoracle .invariant-entry {
	border: 1px solid var(--line);
	border-radius: var(--radius);
	background: var(--paper);
}
body.doc-openoracle .invariant-entry summary {
	padding: 0.85rem 1rem;
	cursor: pointer;
	font-weight: 750;
}
body.doc-openoracle .invariant-entry summary::marker {
	color: var(--blue);
}
body.doc-openoracle .invariant-entry summary code {
	margin: 0 0.65rem 0 0.35rem;
	white-space: nowrap;
}
body.doc-openoracle .invariant-entry summary:focus-visible {
	outline: 2px solid var(--blue);
	outline-offset: 0.15rem;
	border-radius: var(--radius);
}
body.doc-openoracle .invariant-entry[open] summary {
	border-bottom: 1px solid var(--line);
	background: var(--soft);
}
body.doc-openoracle .invariant-title {
	font-size: 1.02rem;
}
body.doc-openoracle .invariant-details {
	padding: 0.9rem 1rem 1rem;
}
body.doc-openoracle .invariant-label {
	margin: 0 0 0.35rem;
	color: var(--muted);
	font-size: 0.78rem;
	font-weight: 800;
	letter-spacing: 0.05em;
	text-transform: uppercase;
}
body.doc-openoracle .invariant-property {
	line-height: 1.55;
}
body.doc-openoracle .invariant-metadata {
	display: grid;
	grid-template-columns: minmax(8rem, 0.7fr) minmax(11rem, 1fr) minmax(14rem, 1.5fr);
	gap: 0.65rem;
	margin: 0.85rem 0 0;
}

body.doc-openoracle .invariant-explorer {
	position: sticky;
	z-index: 5;
	top: 0.5rem;
	box-shadow: 0 0.8rem 2rem rgba(15, 23, 31, 0.1);
}

body.doc-openoracle .invariant-explorer-controls {
	display: grid;
	grid-template-columns: minmax(13rem, 1.5fr) repeat(3, minmax(10rem, 1fr));
	gap: 0.65rem;
}

body.doc-openoracle .invariant-explorer-controls label {
	display: grid;
	gap: 0.25rem;
	color: var(--muted);
	font-size: 0.75rem;
	font-weight: 800;
	letter-spacing: 0.04em;
	text-transform: uppercase;
}

body.doc-openoracle .invariant-explorer-controls input,
body.doc-openoracle .invariant-explorer-controls select {
	width: 100%;
	min-height: 2.6rem;
	padding: 0.5rem 0.6rem;
	border: 1px solid var(--line);
	border-radius: 0.4rem;
	background: var(--paper);
	color: var(--ink);
	font: inherit;
	font-size: 0.85rem;
	letter-spacing: 0;
	text-transform: none;
}

body.doc-openoracle .invariant-explorer-controls input:focus-visible,
body.doc-openoracle .invariant-explorer-controls select:focus-visible {
	outline: 2px solid var(--blue);
	outline-offset: 2px;
}

body.doc-openoracle .invariant-explorer-actions,
body.doc-openoracle .invariant-entry-actions {
	display: flex;
	flex-wrap: wrap;
	gap: 0.5rem;
	align-items: center;
}

body.doc-openoracle .invariant-explorer-actions {
	margin-top: 0.75rem;
}

body.doc-openoracle .invariant-explorer-actions button,
body.doc-openoracle .invariant-entry-actions button,
body.doc-openoracle .invariant-entry-actions a {
	min-height: 2.2rem;
	padding: 0.4rem 0.65rem;
	border: 1px solid var(--line);
	border-radius: 0.4rem;
	background: var(--paper);
	color: var(--blue);
	font: inherit;
	font-size: 0.78rem;
	font-weight: 800;
	line-height: 1.3;
	text-decoration: none;
	cursor: pointer;
}

body.doc-openoracle .invariant-explorer-actions button:hover,
body.doc-openoracle .invariant-entry-actions button:hover,
body.doc-openoracle .invariant-entry-actions a:hover {
	border-color: var(--blue);
	background: var(--blue-soft);
}

body.doc-openoracle .invariant-result-count {
	margin: 0.7rem 0 0;
	color: var(--blue);
	font-size: 0.85rem;
	font-weight: 800;
}

body.doc-openoracle .invariant-no-results {
	margin: 0.55rem 0 0;
	color: var(--red);
}

body.doc-openoracle .invariant-entry-actions {
	margin: 0 0 0.8rem;
	padding-bottom: 0.65rem;
	border-bottom: 1px solid var(--line);
}

body.doc-openoracle .invariant-copy-status {
	min-width: 5rem;
	color: var(--muted);
	font-size: 0.75rem;
}

body.doc-openoracle [data-deployment-bit-status][data-mask-state="set"] {
	background: var(--green-soft);
	color: var(--green);
	font-weight: 800;
}

body.doc-openoracle [data-deployment-bit-status][data-mask-state="clear"] {
	color: var(--muted);
}

body.doc-openoracle .invariant-metadata > div {
	padding: 0.65rem 0.7rem;
	border: 1px solid var(--line);
	border-radius: 0.35rem;
	background: var(--soft);
}
body.doc-openoracle .invariant-metadata dt {
	margin-bottom: 0.2rem;
	color: var(--muted);
	font-size: 0.78rem;
	font-weight: 800;
	letter-spacing: 0.04em;
	text-transform: uppercase;
}
body.doc-openoracle .invariant-metadata dd {
	margin: 0;
}
body.doc-openoracle ul {
	margin: 0 0 1rem;
	padding-left: 1.25rem;
}
body.doc-openoracle .callout {
	margin: 1.25rem 0;
	padding: 1rem 1.1rem;
	border: 1px solid color-mix(in srgb, var(--gold) 28%, var(--line));
	border-left: 0.35rem solid var(--gold);
	border-radius: var(--radius);
	background: color-mix(in srgb, var(--gold-soft) 62%, var(--paper));
}
body.doc-openoracle .callout strong {
	display: block;
	margin-bottom: 0.25rem;
}
body.security-model .security-model-kicker {
	margin: 0 0 0.35rem;
	color: var(--blue);
	font-size: 0.78rem;
	font-weight: 800;
	letter-spacing: 0.08em;
	text-transform: uppercase;
}
body.security-model .security-model-lede {
	max-width: 68rem;
	color: var(--ink);
	font-size: 1.08rem;
}
body.security-model .assumption-nav {
	display: flex;
	flex-wrap: wrap;
	gap: 0.5rem;
	margin-top: 1.1rem;
}
body.security-model .assumption-nav a {
	padding: 0.35rem 0.65rem;
	border: 1px solid color-mix(in srgb, var(--blue) 35%, var(--line));
	border-radius: 999px;
	background: color-mix(in srgb, var(--blue-soft) 55%, var(--paper));
	font-size: 0.88rem;
	font-weight: 700;
	text-decoration: none;
}
body.security-model .assumption-group {
	scroll-margin-top: 1rem;
}
body.security-model .assumption-group-intro {
	max-width: 68rem;
	margin-bottom: 1rem;
	color: var(--muted);
}
body.security-model .assumption-grid {
	display: grid;
	grid-template-columns: minmax(0, 1fr);
	gap: 0.75rem;
	margin: 0;
	padding: 0;
	list-style: none;
}
body.security-model .assumption-grid > li {
	position: relative;
	min-width: 0;
	padding: 1rem 1rem 1rem 3.45rem;
	border: 1px solid var(--line);
	border-radius: var(--radius);
	background: color-mix(in srgb, var(--soft) 48%, var(--paper));
	scroll-margin-top: 1rem;
	transition:
		border-color 120ms ease,
		box-shadow 120ms ease;
}
body.security-model .assumption-grid > li:target {
	border-color: var(--blue);
	box-shadow: 0 0 0 0.2rem color-mix(in srgb, var(--blue) 20%, transparent);
}
body.security-model .assumption-grid > li::before {
	content: attr(data-assumption);
	position: absolute;
	top: 1.02rem;
	left: 1rem;
	color: var(--blue);
	font-family: var(--docs-font-mono);
	font-size: 0.82rem;
	font-weight: 800;
	letter-spacing: 0.03em;
}
body.security-model .assumption-grid > li::after {
	content: "";
	position: absolute;
	top: 2.55rem;
	bottom: 1rem;
	left: 1.78rem;
	width: 1px;
	background: var(--line);
}
body.security-model .assumption-grid h3 {
	margin: 0 0 0.35rem;
	font-size: 1rem;
	line-height: 1.35;
}
body.security-model .assumption-grid p {
	color: var(--muted);
	font-size: 0.94rem;
	line-height: 1.55;
}
body.security-model .assumption-grid p:last-child {
	margin-bottom: 0;
}
body.security-model .assumption-grid .assumption-failure {
	padding-top: 0.6rem;
	border-top: 1px solid var(--line);
	color: var(--ink);
}
body.security-model .assumption-grid .assumption-links {
	font-size: 0.86rem;
}
body.security-model .assumption-grid .assumption-links a {
	white-space: nowrap;
}
body.security-model .assumption-equation {
	margin: 0.8rem 0 0;
	padding: 0.45rem;
	background: var(--paper);
}
body.security-model .excluded-guarantee-list {
	display: grid;
	grid-template-columns: repeat(2, minmax(0, 1fr));
	gap: 0.65rem;
	padding: 0;
	list-style: none;
}
body.security-model .excluded-guarantee-list li {
	padding: 0.8rem 0.9rem;
	border-left: 0.3rem solid var(--gold);
	background: color-mix(in srgb, var(--gold-soft) 45%, var(--paper));
}
body.doc-openoracle table {
	width: 100%;
	margin-top: 0.75rem;
	border-collapse: collapse;
	font-size: 0.95rem;
}
body.doc-openoracle .table-scroll {
	margin-top: 0.75rem;
	overflow-x: auto;
	overscroll-behavior-x: contain;
	scrollbar-width: thin;
}
body.doc-openoracle .table-scroll:focus-visible,
body.doc-openoracle .diagram:focus-visible,
body.doc-openoracle .example-visual:focus-visible,
body.doc-openoracle .equation:focus-visible {
	outline: 2px solid var(--blue);
	outline-offset: 0.2rem;
}
body.doc-openoracle .table-scroll table {
	min-width: 54rem;
	margin-top: 0;
}
body.doc-openoracle th,
body.doc-openoracle td {
	padding: 0.7rem;
	border: 1px solid var(--line);
	text-align: left;
	vertical-align: top;
}
body.doc-openoracle th {
	background: var(--soft);
}
body.doc-openoracle .diagram,
body.doc-openoracle .equation {
	margin: 1.25rem 0;
	padding: 0.5rem;
	border: 1px solid var(--line);
	border-radius: var(--radius);
	background: var(--soft);
}
body.doc-openoracle .diagram {
	overflow-x: auto;
	overscroll-behavior-x: contain;
	scrollbar-width: thin;
}
body.doc-openoracle .diagram-wide > svg,
body.doc-openoracle .diagram-wide > .plot-chart {
	min-width: 60rem;
}
body.doc-openoracle .equation {
	overflow-x: auto;
	overscroll-behavior-x: contain;
	scrollbar-width: thin;
}
body.doc-openoracle svg {
	display: block;
	width: 100%;
	height: auto;
}
body.doc-openoracle .svg-box {
	fill: var(--paper);
	stroke: var(--line);
	stroke-width: 2;
}
body.doc-openoracle .svg-blue {
	fill: var(--blue-soft);
	stroke: var(--blue);
	stroke-width: 2;
}
body.doc-openoracle .svg-green {
	fill: var(--green-soft);
	stroke: var(--green);
	stroke-width: 2;
}
body.doc-openoracle .svg-gold {
	fill: var(--gold-soft);
	stroke: var(--gold);
	stroke-width: 2;
}
body.doc-openoracle .svg-red {
	fill: var(--red-soft);
	stroke: var(--red);
	stroke-width: 2;
}
body.doc-openoracle .svg-slate {
	fill: var(--paper);
	stroke: var(--muted);
	stroke-width: 2;
}
body.doc-openoracle .svg-amber {
	fill: var(--gold-soft);
	stroke: var(--gold);
	stroke-width: 2;
}
body.doc-openoracle .svg-rose {
	fill: var(--red-soft);
	stroke: var(--red);
	stroke-width: 2;
}
body.doc-openoracle .svg-line {
	fill: none;
	stroke: var(--muted);
	stroke-width: 2.5;
}
body.doc-openoracle .svg-label {
	fill: var(--ink);
	font-size: 18px;
	font-weight: 700;
}
body.doc-openoracle .svg-small {
	fill: var(--muted);
	font-size: 13px;
}
body.doc-openoracle .svg-note {
	fill: var(--muted);
	font-size: 13px;
}
body.doc-openoracle .diagram-caption,
body.doc-openoracle .equation-caption {
	margin: 0.75rem 0 0;
	color: var(--muted);
	font-size: 0.94rem;
}
body.doc-openoracle .interactive-example,
body.paper-statoblast .interactive-example {
	margin: 1rem 0;
	padding: 0.75rem;
	border: 1px solid var(--line);
	border-radius: var(--radius);
	background: var(--paper);
}
body.doc-openoracle .interactive-example summary,
body.paper-statoblast .interactive-example summary {
	cursor: pointer;
	font-weight: 700;
}

.interactive-tool-toolbar {
	display: flex;
	flex-wrap: wrap;
	gap: 0.55rem;
	align-items: end;
	margin: 0.8rem 0;
	padding: 0.65rem;
	border: 1px solid var(--line, rgba(0, 0, 0, 0.15));
	border-radius: var(--radius, 0.5rem);
	background: var(--soft, var(--section-bg, rgba(0, 0, 0, 0.035)));
}

.interactive-tool-toolbar label {
	display: grid;
	flex: 1 1 11rem;
	gap: 0.2rem;
	color: var(--muted, #5f6d75);
	font-size: 0.72rem;
	font-weight: 800;
	letter-spacing: 0.04em;
	text-transform: uppercase;
}

.interactive-tool-toolbar select,
.interactive-tool-toolbar button {
	min-height: 2.4rem;
	border: 1px solid var(--line, rgba(0, 0, 0, 0.15));
	border-radius: 0.4rem;
	background: var(--paper, #fff);
	color: var(--ink, #1f2529);
	font: inherit;
	font-size: 0.82rem;
}

.interactive-tool-toolbar select {
	width: 100%;
	padding: 0.45rem 1.8rem 0.45rem 0.55rem;
}

.interactive-tool-toolbar button {
	flex: 0 0 auto;
	padding: 0.45rem 0.7rem;
	color: var(--blue, var(--accent, #176653));
	font-weight: 800;
	cursor: pointer;
}

.interactive-tool-toolbar button:hover {
	border-color: var(--blue, var(--accent, #176653));
	background: var(--blue-soft, var(--accent-soft, #dcece5));
}

.interactive-tool-toolbar select:disabled,
.interactive-tool-toolbar button:disabled {
	opacity: 0.52;
	cursor: not-allowed;
}

.interactive-tool-toolbar button:disabled:hover {
	border-color: var(--line, rgba(0, 0, 0, 0.15));
	background: var(--paper, #fff);
}

.interactive-tool-toolbar select:focus-visible,
.interactive-tool-toolbar button:focus-visible {
	outline: 2px solid var(--blue, var(--accent, #176653));
	outline-offset: 2px;
}

.interactive-tool-status {
	flex: 1 0 100%;
	min-height: 1.1rem;
	color: var(--muted, #5f6d75);
	font-size: 0.76rem;
	line-height: 1.4;
}

.interactive-tool-retry {
	min-height: 2.4rem;
	padding: 0.45rem 0.75rem;
	border: 1px solid var(--blue, var(--accent, #176653));
	border-radius: 0.4rem;
	background: var(--paper, #fff);
	color: var(--blue, var(--accent, #176653));
	font: inherit;
	font-size: 0.82rem;
	font-weight: 800;
	cursor: pointer;
}

.interactive-tool-retry:hover {
	background: var(--blue-soft, var(--accent-soft, #dcece5));
}

.interactive-tool-retry:focus-visible {
	outline: 2px solid var(--blue, var(--accent, #176653));
	outline-offset: 2px;
}

body.doc-openoracle .example-grid,
body.paper-statoblast .example-grid {
	display: grid;
	grid-template-columns: repeat(auto-fit, minmax(11rem, 1fr));
	gap: 0.75rem;
	margin: 0.9rem 0;
}
body.doc-openoracle .example-grid label,
body.paper-statoblast .example-grid label {
	display: grid;
	gap: 0.25rem;
	color: var(--muted);
	font-size: 0.9rem;
	font-weight: 650;
}
body.doc-openoracle .example-grid input,
body.doc-openoracle .example-grid select,
body.paper-statoblast .example-grid input,
body.paper-statoblast .example-grid select {
	width: 100%;
	padding: 0.45rem 0.5rem;
	border: 1px solid var(--line);
	border-radius: 0.35rem;
	background: var(--paper);
	color: var(--ink);
	font: inherit;
}
body.doc-openoracle .example-grid input[type="range"] {
	padding: 0;
	border: 0;
	accent-color: var(--accent);
}
body.doc-openoracle .example-value {
	color: var(--ink);
	font-size: 0.86rem;
	font-weight: 800;
}
body.doc-openoracle .example-output,
body.paper-statoblast .example-output {
	min-width: 0;
	margin: 0;
	padding-left: 1.1rem;
	overflow-wrap: anywhere;
}
body.doc-openoracle .example-output > *,
body.paper-statoblast .example-output > * {
	min-width: 0;
}
body.doc-openoracle .example-output-grid {
	display: grid;
	grid-template-columns: repeat(auto-fit, minmax(min(100%, 16rem), 1fr));
	gap: 0.75rem;
	margin-top: 1rem;
}
body.doc-openoracle .example-output-grid div {
	min-width: 0;
	padding: 0.75rem;
	border: 1px solid var(--line);
	border-radius: var(--radius);
	background: var(--card-bg);
}
body.doc-openoracle .example-output-grid span {
	display: block;
	color: var(--muted);
	font-size: 0.82rem;
	font-weight: 700;
}
body.doc-openoracle .example-output-grid output {
	display: block;
	margin-top: 0.25rem;
	color: var(--ink);
	font-weight: 800;
	overflow-wrap: anywhere;
}
body.doc-openoracle .example-visual {
	margin: 1rem 0;
	border: 1px solid var(--line);
	border-radius: var(--radius);
	background: var(--section-bg);
	overflow-x: auto;
}
body.doc-openoracle .example-visual svg {
	display: block;
	width: 100%;
	min-width: 34rem;
	height: auto;
}
body.doc-openoracle .example-bar-base {
	fill: color-mix(in srgb, var(--line) 58%, transparent);
}
body.doc-openoracle .example-bar-green {
	fill: var(--green-soft);
	stroke: var(--green);
	stroke-width: 1.5;
}
body.doc-openoracle .example-bar-blue {
	fill: var(--blue-soft);
	stroke: var(--blue);
	stroke-width: 1.5;
}
body.doc-openoracle .example-bar-gold {
	fill: var(--gold-soft);
	stroke: var(--gold);
	stroke-width: 1.5;
}
body.doc-openoracle .example-bar-red {
	fill: var(--red-soft);
	stroke: var(--red);
	stroke-width: 1.5;
}
body.doc-openoracle .figure-label,
body.doc-openoracle .equation-label {
	margin-right: 0.35rem;
	color: var(--ink);
	font-weight: 700;
}
body.doc-openoracle .term {
	border-bottom: 1px dotted currentColor;
	cursor: help;
	font-weight: 650;
	text-decoration: none;
	text-underline-offset: 0.18em;
}
body.doc-openoracle .term[data-has-tooltip="true"] {
	cursor: help;
}
body.doc-openoracle .term:focus-visible {
	outline: 2px solid var(--blue);
	outline-offset: 0.12rem;
	border-radius: 0.15rem;
}
body.doc-openoracle .equation math {
	display: block;
	width: max-content;
	margin-inline: auto;
	padding: 0.25rem 0;
	font-size: clamp(0.84rem, 1.6vw, 1.05rem);
}
body.doc-openoracle p math,
body.doc-openoracle li math,
body.doc-openoracle td math {
	display: inline math;
	width: auto;
	min-width: 0;
	padding: 0;
	font-size: 1em;
}

@media (max-width: 42rem) {
	body.doc-openoracle main {
		padding-top: 1rem;
	}
	body.doc-openoracle header,
	body.doc-openoracle section {
		padding: 1rem;
	}
	body.doc-openoracle table {
		display: block;
		overflow-x: auto;
		white-space: nowrap;
	}
	body.doc-openoracle.invariants-catalog table {
		display: table;
		overflow-x: visible;
		white-space: normal;
	}
	body.doc-openoracle .invariant-entry summary {
		padding: 0.75rem;
	}
	body.doc-openoracle .invariant-entry summary code {
		margin-left: 0.15rem;
	}
	body.doc-openoracle .invariant-details {
		padding: 0.8rem;
	}
	body.doc-openoracle .invariant-metadata {
		grid-template-columns: 1fr;
	}
	body.doc-openoracle .invariant-explorer {
		position: static;
	}
	body.doc-openoracle .invariant-explorer-controls {
		grid-template-columns: 1fr;
	}
	body.security-model .assumption-nav {
		display: grid;
		grid-template-columns: repeat(2, minmax(0, 1fr));
	}
	body.security-model .assumption-nav a {
		text-align: center;
	}
	body.security-model .assumption-grid > li {
		padding-left: 3.15rem;
	}
	body.security-model .assumption-grid .assumption-links a {
		white-space: normal;
	}
	body.security-model .excluded-guarantee-list {
		grid-template-columns: 1fr;
	}
}

/*
	The two whitepaper sections remain fully scoped and mostly duplicated on purpose.
	This keeps the relocation into one shared file low-risk while preserving each page's
	existing layout and palette. Future cleanup can consolidate the shared selectors.
*/

/* Augur Statoblast white paper */

body.paper-statoblast {
	color-scheme: light dark;
	--bg: #f4f7f6;
	--paper: #fffefd;
	--ink: #202427;
	--muted: #58646a;
	--line: #d4ddda;
	--soft-line: #e8eeec;
	--card-bg: #fbfcfb;
	--section-bg: #f8faf9;
	--code-bg: #f8f2e7;
	--table-head: #eef5f2;
	--green: #1c7659;
	--green-soft: #d9eee7;
	--blue: #285f9f;
	--blue-soft: #dce9f8;
	--gold: #8a5c14;
	--gold-soft: #f3dfb8;
	--red: #9f463d;
	--red-soft: #f2d6d0;
	--accent: var(--green);
	--accent-soft: var(--green-soft);
	--accent-2: var(--gold);
	--accent-2-soft: var(--gold-soft);
	--accent-rgb: 28 118 89;
	--accent-2-rgb: 138 92 20;
	--diagram-line: #59615f;
	--focus: #174f9d;
	--radius: 0.5rem;
	--radius-sm: 0.35rem;
	--shadow: 0 18px 48px rgb(22 50 45 / 9%);
	--section-shadow: 0 12px 34px rgb(22 50 45 / 6%);
	font-family: var(--docs-font-sans);
}
body.paper-statoblast {
	--accent: var(--green);
	--accent-soft: var(--green-soft);
	--accent-2: var(--gold);
	--accent-2-soft: var(--gold-soft);
	--accent-rgb: 28 118 89;
	--accent-2-rgb: 138 92 20;
}
body.paper-zoltar {
	--accent: var(--blue);
	--accent-soft: var(--blue-soft);
	--accent-2: var(--green);
	--accent-2-soft: var(--green-soft);
	--accent-rgb: 40 95 159;
	--accent-2-rgb: 28 118 89;
}

@media (prefers-color-scheme: dark) {
	body.paper-statoblast {
		--bg: #111516;
		--paper: #191d1e;
		--ink: #f1f4f2;
		--muted: #b4bfbb;
		--line: #3b4744;
		--soft-line: #2b3331;
		--card-bg: #1d2322;
		--section-bg: #1d2221;
		--code-bg: #27231c;
		--table-head: #232b29;
		--green: #72cba9;
		--green-soft: #14372c;
		--blue: #8bb9f0;
		--blue-soft: #15283f;
		--gold: #e6b65d;
		--gold-soft: #3a2d15;
		--red: #ef9185;
		--red-soft: #3d211d;
		--diagram-line: #aeb9b5;
		--focus: #acd0ff;
		--shadow: 0 18px 48px rgb(0 0 0 / 32%);
		--section-shadow: 0 12px 34px rgb(0 0 0 / 22%);
	}
	body.paper-statoblast {
		--accent: var(--green);
		--accent-soft: var(--green-soft);
		--accent-2: var(--gold);
		--accent-2-soft: var(--gold-soft);
		--accent-rgb: 114 203 169;
		--accent-2-rgb: 230 182 93;
	}
	body.paper-zoltar {
		--accent: var(--blue);
		--accent-soft: var(--blue-soft);
		--accent-2: var(--green);
		--accent-2-soft: var(--green-soft);
		--accent-rgb: 139 185 240;
		--accent-2-rgb: 114 203 169;
	}
}
body.paper-statoblast * {
	box-sizing: border-box;
}
html {
	scroll-behavior: smooth;
	scroll-padding-top: 1.5rem;
}

@media (prefers-reduced-motion: reduce) {
	body.paper-statoblast *,
	body.paper-statoblast *::before,
	body.paper-statoblast *::after {
		transition-duration: 0.01ms !important;
		animation-duration: 0.01ms !important;
		animation-iteration-count: 1 !important;
	}
	html {
		scroll-behavior: auto;
	}
}
body.paper-statoblast {
	counter-reset: figure equation;
	margin: 0;
	background: linear-gradient(120deg, rgb(var(--accent-rgb) / 9%), transparent 32rem), linear-gradient(300deg, rgb(var(--accent-2-rgb) / 8%), transparent 34rem), var(--bg);
	color: var(--ink);
	font-size: 1rem;
	line-height: 1.64;
	text-rendering: optimizeLegibility;
}
body.paper-statoblast::before {
	position: fixed;
	z-index: 2;
	top: 0;
	right: 0;
	left: 0;
	height: 0.22rem;
	background: linear-gradient(90deg, var(--accent), var(--accent-2));
	content: "";
	pointer-events: none;
}
body.paper-statoblast a {
	color: var(--blue);
	text-decoration-thickness: 0.08em;
	text-underline-offset: 0.18em;
}
body.paper-statoblast a:hover {
	color: var(--ink);
}
body.paper-statoblast a:focus-visible,
body.paper-statoblast button:focus-visible,
body.paper-statoblast [tabindex]:focus-visible {
	outline: 2px solid var(--focus);
	outline-offset: 3px;
	border-radius: var(--radius-sm);
}
body.paper-statoblast p {
	margin: 0 0 1rem;
}
body.paper-statoblast figure {
	margin-right: 0;
	margin-left: 0;
}
body.paper-statoblast code {
	padding: 0.1rem 0.32rem;
	border: 1px solid var(--soft-line);
	border-radius: var(--radius-sm);
	background: var(--code-bg);
	font-family: var(--docs-font-mono);
	font-size: 0.92em;
	overflow-wrap: anywhere;
}
body.paper-statoblast .skip-link {
	position: fixed;
	z-index: 3;
	top: 0.55rem;
	left: 0.75rem;
	transform: translateY(-150%);
	padding: 0.55rem 0.75rem;
	border: 1px solid var(--line);
	border-radius: var(--radius-sm);
	background: var(--paper);
	box-shadow: var(--section-shadow);
	color: var(--ink);
	font-weight: 800;
	text-decoration: none;
}
body.paper-statoblast .skip-link:focus-visible {
	transform: translateY(0);
}
body.paper-statoblast .site-shell {
	display: grid;
	grid-template-columns: minmax(14rem, 17.5rem) minmax(0, 1fr);
	gap: clamp(1rem, 3vw, 2.25rem);
	width: min(var(--docs-page-width), calc(100% - var(--docs-page-inline-gutter-desktop)));
	margin: 0 auto;
	padding: 2rem 0 4rem;
}
body.paper-statoblast .sidebar {
	position: sticky;
	top: 1.5rem;
	align-self: start;
	max-height: calc(100vh - 3rem);
	overflow: auto;
	padding: 0.85rem;
	border: 1px solid var(--line);
	border-radius: var(--radius);
	background: color-mix(in srgb, var(--paper) 92%, transparent);
	box-shadow: 0 10px 34px rgb(22 50 45 / 7%);
	backdrop-filter: blur(12px);
}
body.paper-statoblast .sidebar-header {
	padding: 0.2rem 0.25rem 0.75rem;
	border-bottom: 1px solid var(--soft-line);
}
body.paper-statoblast .sidebar-series {
	display: block;
	color: var(--muted);
	font-size: 0.75rem;
	font-weight: 800;
	letter-spacing: 0.08em;
	text-transform: uppercase;
}
body.paper-statoblast .sidebar strong {
	display: block;
	margin-top: 0.15rem;
	color: var(--accent);
	font-size: 0.98rem;
	font-weight: 850;
}
body.paper-statoblast .sidebar-header p {
	margin: 0.2rem 0 0;
	color: var(--muted);
	font-size: 0.86rem;
	line-height: 1.35;
}
body.paper-statoblast .sidebar-companion,
body.paper-statoblast .companion-link {
	text-decoration: none;
}
body.paper-statoblast .sidebar-companion {
	display: block;
	margin: 0.8rem 0;
	padding: 0.65rem 0.72rem;
	border: 1px solid var(--soft-line);
	border-radius: var(--radius-sm);
	background: color-mix(in srgb, var(--accent-soft) 54%, var(--paper));
	color: var(--ink);
}
body.paper-statoblast .sidebar-companion span,
body.paper-statoblast .companion-link span {
	display: block;
	color: var(--muted);
	font-size: 0.72rem;
	font-weight: 850;
	letter-spacing: 0.08em;
	text-transform: uppercase;
}
body.paper-statoblast .sidebar-companion b,
body.paper-statoblast .companion-link b {
	display: block;
	margin-top: 0.16rem;
	font-size: 0.92rem;
	line-height: 1.25;
}
body.paper-statoblast .sidebar nav {
	display: grid;
	gap: 0.12rem;
}
body.paper-statoblast .sidebar nav a {
	display: block;
	min-height: 2rem;
	padding: 0.36rem 0.65rem 0.36rem 0.75rem;
	border: 1px solid transparent;
	border-radius: var(--radius-sm);
	color: var(--muted);
	font-size: 0.91rem;
	line-height: 1.35;
	text-decoration: none;
}
body.paper-statoblast .sidebar nav a:hover {
	border-color: var(--soft-line);
	background: color-mix(in srgb, var(--accent-soft) 36%, transparent);
	color: var(--ink);
}
body.paper-statoblast .sidebar nav a[aria-current="location"] {
	border-color: color-mix(in srgb, var(--accent) 34%, var(--line));
	background: color-mix(in srgb, var(--accent-soft) 68%, var(--paper));
	box-shadow: inset 0.22rem 0 0 var(--accent);
	color: var(--ink);
	font-weight: 800;
}
body.paper-statoblast main {
	min-width: 0;
}
body.paper-statoblast .hero,
body.paper-statoblast .paper-section {
	border: 1px solid var(--line);
	border-radius: var(--radius);
	background: var(--paper);
	box-shadow: var(--section-shadow);
}
body.paper-statoblast .hero {
	position: relative;
	overflow: hidden;
	padding: clamp(2rem, 5vw, 4rem);
	background: radial-gradient(circle at 85% 15%, rgb(var(--accent-2-rgb) / 14%), transparent 15rem), linear-gradient(145deg, var(--paper), var(--section-bg));
	box-shadow: var(--shadow);
}
body.paper-statoblast .hero::after {
	position: absolute;
	inset: 0;
	background: linear-gradient(90deg, rgb(var(--accent-rgb) / 9%), transparent 28rem);
	content: "";
	pointer-events: none;
}
body.paper-statoblast .hero > * {
	position: relative;
	z-index: 1;
}
body.paper-statoblast .paper-brand {
	display: flex;
	align-items: flex-start;
	justify-content: space-between;
	gap: 1rem;
	margin-bottom: clamp(1.5rem, 4vw, 2.4rem);
}
body.paper-statoblast .brand-lockup {
	display: inline-flex;
	align-items: center;
	gap: 0.72rem;
	min-width: 0;
}
body.paper-statoblast .brand-mark {
	display: grid;
	flex: 0 0 auto;
	grid-template-columns: repeat(2, 0.55rem);
	grid-template-rows: repeat(2, 0.55rem);
	gap: 0.22rem;
	place-content: center;
	width: 2.35rem;
	height: 2.35rem;
	border: 1px solid color-mix(in srgb, var(--accent) 42%, var(--line));
	border-radius: var(--radius);
	background: color-mix(in srgb, var(--accent-soft) 56%, var(--paper));
}
body.paper-statoblast .brand-mark span {
	border-radius: 999px;
	background: var(--accent);
}
body.paper-statoblast .brand-mark span:nth-child(2) {
	background: var(--accent-2);
}
body.paper-statoblast .brand-mark span:nth-child(3) {
	grid-column: 1 / 3;
	width: 1.32rem;
	border-radius: 0.2rem;
	background: linear-gradient(90deg, var(--accent), var(--accent-2));
	justify-self: center;
}
body.paper-statoblast .brand-name,
body.paper-statoblast .brand-subtitle {
	display: block;
	line-height: 1.2;
}
body.paper-statoblast .brand-name {
	font-size: 0.92rem;
	font-weight: 850;
}
body.paper-statoblast .brand-subtitle {
	margin-top: 0.12rem;
	color: var(--muted);
	font-size: 0.78rem;
}
body.paper-statoblast .companion-link {
	max-width: 15.5rem;
	padding: 0.62rem 0.75rem;
	border: 1px solid var(--soft-line);
	border-radius: var(--radius-sm);
	background: color-mix(in srgb, var(--paper) 78%, transparent);
	color: var(--ink);
}
body.paper-statoblast .hero-label-row {
	display: flex;
	flex-wrap: wrap;
	align-items: center;
	gap: 0.7rem 1rem;
	margin-bottom: 0.8rem;
}
body.paper-statoblast .kicker {
	display: inline-flex;
	align-items: center;
	gap: 0.42rem;
	margin: 0;
	color: var(--accent);
	font-size: 0.8rem;
	font-weight: 850;
	letter-spacing: 0.1em;
	text-transform: uppercase;
}
body.paper-statoblast .layer-dot {
	width: 0.52rem;
	height: 0.52rem;
	border-radius: 999px;
	background: var(--accent);
	box-shadow: 0 0 0 0.22rem rgb(var(--accent-rgb) / 14%);
}
body.paper-statoblast .paper-status {
	margin: 0;
	color: var(--muted);
	font-size: 0.9rem;
	font-weight: 650;
}
body.paper-statoblast h1,
body.paper-statoblast h2,
body.paper-statoblast h3 {
	line-height: 1.15;
}
body.paper-statoblast h1 {
	max-width: 18ch;
	margin: 0;
	font-size: clamp(2.5rem, 6vw, 4.6rem);
	letter-spacing: 0;
}
body.paper-statoblast .subtitle {
	max-width: 74ch;
	margin: 1.1rem 0 0;
	color: var(--muted);
	font-size: 1.12rem;
}
body.paper-statoblast .meta-grid,
body.paper-statoblast .summary-grid,
body.paper-statoblast .role-grid,
body.paper-statoblast .parameter-grid {
	display: grid;
	grid-template-columns: repeat(auto-fit, minmax(min(100%, 13rem), 1fr));
	gap: 0.9rem;
}
body.paper-statoblast .meta-grid {
	margin-top: 1.8rem;
}
body.paper-statoblast .summary-grid,
body.paper-statoblast .role-grid,
body.paper-statoblast .parameter-grid {
	margin: 1.35rem 0 0;
}
body.paper-statoblast .meta-card,
body.paper-statoblast .summary-card,
body.paper-statoblast .role-card,
body.paper-statoblast .parameter-card,
body.paper-statoblast .glossary-card,
body.paper-statoblast .timeline-card,
body.paper-statoblast .implementation-note {
	border: 1px solid var(--soft-line);
	border-radius: var(--radius);
	background: var(--card-bg);
	padding: 0.95rem 1rem;
}
body.paper-statoblast .meta-card,
body.paper-statoblast .summary-card {
	border-top: 2px solid color-mix(in srgb, var(--accent) 52%, var(--line));
}
body.paper-statoblast .meta-card span,
body.paper-statoblast .summary-card span,
body.paper-statoblast .role-card span,
body.paper-statoblast .parameter-card span {
	display: block;
	color: var(--muted);
	font-size: 0.76rem;
	font-weight: 850;
	letter-spacing: 0.08em;
	text-transform: uppercase;
}
body.paper-statoblast .meta-card b,
body.paper-statoblast .summary-card b,
body.paper-statoblast .role-card b,
body.paper-statoblast .parameter-card b {
	display: block;
	margin-top: 0.28rem;
	font-size: 1rem;
	line-height: 1.34;
}
body.paper-statoblast .architecture-map {
	margin-top: 1.35rem;
	overflow: hidden;
	border: 1px solid var(--line);
	border-radius: calc(var(--radius) + 0.2rem);
	background: linear-gradient(145deg, rgb(var(--accent-rgb) / 8%), transparent 34%), var(--section-bg);
}
body.paper-statoblast .architecture-map-heading {
	display: grid;
	grid-template-columns: minmax(14rem, 0.8fr) minmax(18rem, 1.2fr);
	gap: 1rem 2rem;
	align-items: end;
	padding: 1.15rem 1.25rem;
	border-bottom: 1px solid var(--soft-line);
}
body.paper-statoblast .architecture-map-heading h3,
body.paper-statoblast .architecture-map-heading p {
	margin: 0;
}
body.paper-statoblast .architecture-map-heading p {
	color: var(--muted);
	font-size: 0.92rem;
	line-height: 1.5;
}
body.paper-statoblast .architecture-eyebrow {
	display: block;
	margin-bottom: 0.25rem;
	color: var(--accent);
	font-size: 0.72rem;
	font-weight: 850;
	letter-spacing: 0.09em;
	text-transform: uppercase;
}
body.paper-statoblast .architecture-layers {
	display: grid;
	gap: 0;
	margin: 0;
	padding: 0;
	list-style: none;
}
body.paper-statoblast .architecture-layer {
	display: grid;
	grid-template-columns: minmax(10.5rem, 0.28fr) minmax(0, 1fr);
	gap: 1rem;
	padding: 1rem 1.25rem;
}
body.paper-statoblast .architecture-layer + .architecture-layer {
	border-top: 1px solid var(--soft-line);
}
body.paper-statoblast .architecture-layer-label {
	display: flex;
	gap: 0.7rem;
	align-items: flex-start;
}
body.paper-statoblast .architecture-layer-label > span {
	display: grid;
	width: 2rem;
	height: 2rem;
	flex: 0 0 auto;
	place-items: center;
	border-radius: 999px;
	background: var(--accent);
	color: var(--paper);
	font-size: 0.72rem;
	font-weight: 850;
}
body.paper-statoblast .architecture-layer-label b,
body.paper-statoblast .architecture-layer-label small {
	display: block;
}
body.paper-statoblast .architecture-layer-label b {
	line-height: 1.25;
}
body.paper-statoblast .architecture-layer-label small {
	margin-top: 0.2rem;
	color: var(--muted);
	font-size: 0.75rem;
	line-height: 1.35;
}
body.paper-statoblast .architecture-components {
	display: grid;
	grid-template-columns: minmax(0, 1fr) auto minmax(0, 1fr);
	gap: 0.55rem;
	align-items: stretch;
}
body.paper-statoblast .architecture-layer-foundation .architecture-components,
body.paper-statoblast .architecture-layer-ledger .architecture-components {
	grid-template-columns: minmax(0, 1fr) auto minmax(0, 1fr) auto minmax(0, 1fr);
}
body.paper-statoblast .architecture-layer-ledger .architecture-components {
	grid-template-columns: minmax(0, 0.85fr) auto minmax(0, 1.25fr) auto minmax(0, 0.85fr);
}
body.paper-statoblast .architecture-component {
	min-width: 0;
	padding: 0.8rem 0.85rem;
	border: 1px solid var(--soft-line);
	border-radius: 0.65rem;
	background: var(--card-bg);
}
body.paper-statoblast .architecture-component-primary {
	border-color: color-mix(in srgb, var(--accent) 54%, var(--line));
	box-shadow: inset 0 0 0 2px rgb(var(--accent-rgb) / 8%);
}
body.paper-statoblast .architecture-component :is(code, strong),
body.paper-statoblast .architecture-component p {
	display: block;
}
body.paper-statoblast .architecture-component strong {
	margin-bottom: 0.25rem;
	color: var(--accent);
	font-size: 0.7rem;
	letter-spacing: 0.065em;
	text-transform: uppercase;
}
body.paper-statoblast .architecture-component code {
	width: fit-content;
	max-width: 100%;
	font-weight: 750;
	overflow-wrap: anywhere;
}
body.paper-statoblast .architecture-component p {
	margin: 0.42rem 0 0;
	color: var(--muted);
	font-size: 0.82rem;
	line-height: 1.42;
}
body.paper-statoblast .architecture-arrow {
	align-self: center;
	color: var(--accent);
	font-size: 1.15rem;
	font-weight: 850;
}
body.paper-statoblast .architecture-service-grid {
	display: grid;
	grid-template-columns: repeat(2, minmax(0, 1fr));
	gap: 0.65rem;
}
body.paper-statoblast .architecture-service-grid > .architecture-component:last-child:nth-child(odd) {
	grid-column: 1 / -1;
}
body.paper-statoblast .architecture-path {
	display: grid;
	grid-template-columns: auto minmax(0, 1fr);
	gap: 1rem;
	align-items: start;
	margin-top: 1rem;
	padding: 1rem 1.1rem;
	border: 1px solid var(--soft-line);
	border-radius: var(--radius);
	background: var(--card-bg);
}
body.paper-statoblast .architecture-path-title {
	margin: 0;
	color: var(--accent);
	font-size: 0.72rem;
	font-weight: 850;
	letter-spacing: 0.08em;
	text-transform: uppercase;
}
body.paper-statoblast .architecture-path ol {
	display: grid;
	grid-template-columns: repeat(4, minmax(0, 1fr));
	gap: 0;
	margin: 0;
	padding: 0;
	list-style: none;
}
body.paper-statoblast .architecture-path li {
	position: relative;
	padding: 0 0.75rem;
}
body.paper-statoblast .architecture-path li + li {
	margin: 0;
	border-left: 1px solid var(--soft-line);
}
body.paper-statoblast .architecture-path span,
body.paper-statoblast .architecture-path b {
	display: block;
}
body.paper-statoblast .architecture-path span {
	color: var(--muted);
	font-size: 0.7rem;
	font-weight: 800;
	letter-spacing: 0.05em;
	text-transform: uppercase;
}
body.paper-statoblast .architecture-path b {
	margin-top: 0.25rem;
	font-size: 0.8rem;
	line-height: 1.4;
}
body.paper-statoblast .architecture-boundary-note {
	margin-top: 1rem;
}
body.paper-statoblast .paper-section {
	margin-top: 1.25rem;
	padding: clamp(1rem, 3vw, 2rem);
}
body.paper-statoblast .paper-section:target {
	border-color: color-mix(in srgb, var(--accent) 34%, var(--line));
	box-shadow:
		0 0 0 3px rgb(var(--accent-rgb) / 10%),
		var(--section-shadow);
}
body.paper-statoblast .section-heading {
	display: flex;
	align-items: baseline;
	justify-content: space-between;
	gap: 1rem;
	margin-bottom: 1rem;
	border-bottom: 1px solid var(--soft-line);
}
body.paper-statoblast .section-heading h2,
body.paper-statoblast .paper-section > h2 {
	margin: 0 0 0.85rem;
	font-size: clamp(1.65rem, 4vw, 2.55rem);
}
body.paper-statoblast .paper-section h3 {
	max-width: 76ch;
	margin: 1.8rem 0 0.65rem;
	font-size: 1.25rem;
}
body.paper-statoblast .anchor-link {
	flex: none;
	color: var(--muted);
	font-weight: 850;
	text-decoration: none;
}
body.paper-statoblast .anchor-link:hover {
	color: var(--ink);
}
body.paper-statoblast .paper-section > p,
body.paper-statoblast .paper-section > ol,
body.paper-statoblast .paper-section > ul {
	max-width: 76ch;
}
body.paper-statoblast .paper-section > p + p {
	margin-top: 0.2rem;
}
body.paper-statoblast .lede {
	max-width: 76ch;
	color: color-mix(in srgb, var(--ink) 82%, var(--muted));
	font-size: 1.08rem;
	line-height: 1.68;
}
body.paper-statoblast .callout {
	max-width: 76ch;
	margin: 1.25rem 0;
	padding: 1rem 1.1rem;
	border: 1px solid color-mix(in srgb, var(--accent) 28%, var(--line));
	border-left: 0.35rem solid var(--accent);
	border-radius: var(--radius);
	background: color-mix(in srgb, var(--accent-soft) 62%, var(--paper));
}
body.paper-statoblast .callout strong {
	display: block;
	margin-bottom: 0.25rem;
}
body.paper-statoblast .interactive-example {
	max-width: 76ch;
	margin: 1.25rem 0;
	padding: 1rem;
	border: 1px solid var(--soft-line);
	border-radius: var(--radius);
	background: var(--card-bg);
}
body.paper-statoblast .interactive-example summary {
	cursor: pointer;
	font-weight: 800;
}
body.paper-statoblast .interactive-example > p {
	margin: 0.75rem 0 0;
}
body.paper-statoblast .example-grid {
	display: grid;
	grid-template-columns: repeat(auto-fit, minmax(min(100%, 13rem), 1fr));
	gap: 0.85rem;
	margin: 1rem 0;
}
body.paper-statoblast .example-grid label {
	display: grid;
	gap: 0.35rem;
	color: var(--muted);
	font-size: 0.9rem;
	font-weight: 700;
}
body.paper-statoblast .example-grid input[type="range"] {
	width: 100%;
	accent-color: var(--accent);
}
body.paper-statoblast .example-value {
	color: var(--ink);
	font-size: 0.86rem;
	font-weight: 800;
}
body.paper-statoblast .example-output-grid {
	display: grid;
	grid-template-columns: repeat(auto-fit, minmax(min(100%, 12rem), 1fr));
	gap: 0.7rem;
	margin: 0.85rem 0 0;
}
body.paper-statoblast .example-output-grid div {
	padding: 0.75rem;
	border: 1px solid var(--soft-line);
	border-radius: calc(var(--radius) * 0.75);
	background: var(--paper);
}
body.paper-statoblast .example-output-grid span {
	display: block;
	color: var(--muted);
	font-size: 0.74rem;
	font-weight: 850;
	letter-spacing: 0.06em;
	text-transform: uppercase;
}
body.paper-statoblast .example-output-grid output {
	display: block;
	margin-top: 0.25rem;
	color: var(--ink);
	font-weight: 850;
}
body.paper-statoblast .example-visual {
	margin-top: 1rem;
	border: 1px solid var(--soft-line);
	border-radius: var(--radius);
	background: var(--section-bg);
	overflow-x: auto;
}
body.paper-statoblast .example-visual svg {
	display: block;
	width: 100%;
	min-width: 34rem;
	height: auto;
}
body.paper-statoblast .example-bar-base {
	fill: color-mix(in srgb, var(--line) 58%, transparent);
}
body.paper-statoblast .example-bar-green {
	fill: var(--green-soft);
	stroke: var(--green);
	stroke-width: 1.5;
}
body.paper-statoblast .example-bar-blue {
	fill: var(--blue-soft);
	stroke: var(--blue);
	stroke-width: 1.5;
}
body.paper-statoblast .example-bar-gold {
	fill: var(--gold-soft);
	stroke: var(--gold);
	stroke-width: 1.5;
}
body.paper-statoblast .example-bar-red {
	fill: var(--red-soft);
	stroke: var(--red);
	stroke-width: 1.5;
}
body.paper-statoblast .equation,
body.paper-statoblast .diagram {
	scroll-margin-top: 1rem;
	border: 1px solid var(--line);
	border-radius: var(--radius);
	background: var(--section-bg);
	overflow-x: auto;
	overscroll-behavior-x: contain;
	scrollbar-color: color-mix(in srgb, var(--accent) 52%, var(--line)) transparent;
	scrollbar-width: thin;
}
body.paper-statoblast .equation {
	counter-increment: equation;
	margin: 1.1rem 0;
	padding: 0.5rem;
	background: var(--code-bg);
}
body.paper-statoblast .equation math {
	display: block;
	width: max-content;
	margin-inline: auto;
	font-size: 1.02rem;
}
body.paper-statoblast .equation-caption {
	margin: 0.7rem 0 0;
	color: var(--muted);
	font-size: 0.92rem;
}
body.paper-statoblast .equation-label {
	color: var(--ink);
	font-weight: 850;
}
body.paper-statoblast .equation-label::before {
	content: "Equation " counter(equation) ": ";
}
body.paper-statoblast .equation-label::after {
	content: ". ";
}
body.paper-statoblast .diagram {
	counter-increment: figure;
	position: relative;
	margin: 1.45rem 0;
	padding: 0.5rem;
	border-top: 3px solid var(--accent);
	box-shadow: inset 0 -1.5rem 1.8rem -2rem rgb(var(--accent-rgb) / 34%);
}
body.paper-statoblast .diagram:nth-of-type(even) {
	border-top-color: var(--accent-2);
}
body.paper-statoblast .diagram svg {
	display: block;
	width: 100%;
	min-width: 42rem;
	height: auto;
	color: var(--diagram-line);
}
body.paper-statoblast .diagram-title {
	margin: 0 0 0.75rem;
	color: var(--muted);
	font-size: 0.8rem;
	font-weight: 850;
	letter-spacing: 0.08em;
	text-transform: uppercase;
}
body.paper-statoblast .diagram-caption {
	margin: 0.8rem 0 0;
	color: var(--muted);
	font-size: 0.94rem;
	line-height: 1.5;
}
body.paper-statoblast .figure-label {
	color: var(--ink);
	font-weight: 850;
}
body.paper-statoblast .figure-label::before {
	content: "Figure " counter(figure) ": ";
}
body.paper-statoblast .figure-label::after {
	content: ". ";
}
body.paper-statoblast .legend {
	display: flex;
	flex-wrap: wrap;
	gap: 0.55rem 1rem;
	margin-top: 0.8rem;
	color: var(--muted);
	font-size: 0.86rem;
}
body.paper-statoblast .legend-item {
	display: inline-flex;
	align-items: center;
	gap: 0.4rem;
}
body.paper-statoblast .legend-swatch {
	width: 0.9rem;
	height: 0.9rem;
	border: 1px solid currentColor;
	border-radius: 0.2rem;
}
body.paper-statoblast .legend-swatch.teal,
body.paper-statoblast .legend-swatch.green {
	background: var(--green-soft);
	color: var(--green);
}
body.paper-statoblast .legend-swatch.gold {
	background: var(--gold-soft);
	color: var(--gold);
}
body.paper-statoblast .legend-swatch.red {
	background: var(--red-soft);
	color: var(--red);
}
body.paper-statoblast .legend-swatch.blue {
	background: var(--blue-soft);
	color: var(--blue);
}
body.paper-statoblast .svg-box {
	fill: var(--paper);
	stroke: var(--line);
	stroke-width: 2;
}
body.paper-statoblast .svg-green,
body.paper-statoblast .svg-teal {
	fill: var(--green-soft);
	stroke: var(--green);
	stroke-width: 2;
}
body.paper-statoblast .svg-blue {
	fill: var(--blue-soft);
	stroke: var(--blue);
	stroke-width: 2;
}
body.paper-statoblast .svg-gold {
	fill: var(--gold-soft);
	stroke: var(--gold);
	stroke-width: 2;
}
body.paper-statoblast .svg-red {
	fill: var(--red-soft);
	stroke: var(--red);
	stroke-width: 2;
}
body.paper-statoblast .svg-line {
	fill: none;
	stroke: var(--diagram-line);
	stroke-linecap: round;
	stroke-linejoin: round;
	stroke-width: 2.35;
}
body.paper-statoblast .svg-label {
	fill: var(--ink);
	font-family: var(--docs-font-sans);
	font-size: 17px;
	font-weight: 800;
}
body.paper-statoblast .svg-small {
	fill: var(--muted);
	font-size: 13px;
	font-weight: 650;
}
body.paper-statoblast .svg-micro {
	fill: var(--muted);
	font-size: 11px;
	font-weight: 650;
}
body.paper-statoblast .table-wrap {
	overflow-x: auto;
	margin: 1.2rem 0;
	border: 1px solid var(--line);
	border-radius: var(--radius);
	background: var(--section-bg);
	scrollbar-color: color-mix(in srgb, var(--accent) 52%, var(--line)) transparent;
	scrollbar-width: thin;
}
body.paper-statoblast table {
	width: 100%;
	margin: 1.2rem 0;
	border-collapse: separate;
	border-spacing: 0;
	background: var(--section-bg);
	font-size: 0.94rem;
}
body.paper-statoblast .table-wrap table {
	margin: 0;
}
body.paper-statoblast .wide-table {
	min-width: 44rem;
}
body.paper-statoblast .invalid-table {
	min-width: 42rem;
}
body.paper-statoblast .invalid-table th:first-child,
body.paper-statoblast .invalid-table td:first-child {
	width: 10rem;
	white-space: nowrap;
}
body.paper-statoblast th,
body.paper-statoblast td {
	padding: 0.78rem 0.9rem;
	border-bottom: 1px solid var(--soft-line);
	text-align: left;
	vertical-align: top;
}
body.paper-statoblast th + th,
body.paper-statoblast td + td {
	border-left: 1px solid var(--soft-line);
}
body.paper-statoblast th {
	background: var(--table-head);
	color: var(--accent);
	font-size: 0.78rem;
	font-weight: 850;
	letter-spacing: 0.06em;
	text-transform: uppercase;
}
body.paper-statoblast tr:last-child td {
	border-bottom: 0;
}
body.paper-statoblast ul,
body.paper-statoblast ol {
	padding-left: 1.35rem;
}
body.paper-statoblast li + li {
	margin-top: 0.42rem;
}
body.paper-statoblast .contract-list,
body.paper-statoblast .clean-list {
	display: grid;
	gap: 0.55rem;
	padding-left: 1.1rem;
}
body.paper-statoblast .contract-list li,
body.paper-statoblast .clean-list li {
	padding-left: 0.2rem;
}
body.paper-statoblast .glossary-grid,
body.paper-statoblast .timeline-grid,
body.paper-statoblast .implementation-grid {
	display: grid;
	grid-template-columns: repeat(auto-fit, minmax(min(100%, 17rem), 1fr));
	gap: 0.85rem;
	margin: 1.2rem 0;
}
body.paper-statoblast .glossary-card b,
body.paper-statoblast .timeline-card b,
body.paper-statoblast .implementation-note b {
	display: block;
	margin-bottom: 0.25rem;
}
body.paper-statoblast .glossary-card p,
body.paper-statoblast .timeline-card p,
body.paper-statoblast .implementation-note p {
	margin: 0;
	color: var(--muted);
}
body.paper-statoblast .term {
	border-bottom: 1px dotted currentColor;
	cursor: help;
	font-weight: 650;
	text-decoration: none;
	text-underline-offset: 0.18em;
}
body.paper-statoblast .term:focus-visible {
	outline: 2px solid var(--accent);
	outline-offset: 0.12rem;
	border-radius: 0.15rem;
}
body.paper-statoblast .implementation-note {
	border-left: 0.3rem solid var(--blue);
}
body.paper-statoblast .step-list {
	display: grid;
	gap: 0.8rem;
	max-width: none;
	counter-reset: steps;
	list-style: none;
	padding: 0;
}
body.paper-statoblast .paper-section > .step-list {
	max-width: none;
}
body.paper-statoblast .step-list li {
	display: flex;
	gap: 0.75rem;
	align-items: start;
	min-width: 0;
	padding: 0.85rem;
	border: 1px solid var(--soft-line);
	border-radius: var(--radius);
	background: var(--section-bg);
	counter-increment: steps;
}
body.paper-statoblast .step-list li::before {
	display: grid;
	flex: 0 0 auto;
	width: 2rem;
	height: 2rem;
	place-items: center;
	border-radius: 999px;
	background: var(--ink);
	color: var(--paper);
	content: counter(steps);
	font-size: 0.9rem;
	font-weight: 850;
}
body.paper-statoblast .step-content {
	min-width: 0;
	overflow-wrap: anywhere;
}
body.paper-statoblast .footer-note {
	margin: 1.5rem 0 0;
	color: var(--muted);
	font-size: 0.92rem;
}

@media (max-width: 1000px) {
	body.paper-statoblast .site-shell {
		display: block;
		width: min(calc(100% - var(--docs-page-inline-gutter-tablet)), var(--docs-page-tablet-width));
		padding-top: 0.75rem;
	}
	body.paper-statoblast .sidebar {
		position: static;
		max-height: none;
		margin: 0.5rem 0 1rem;
	}
	body.paper-statoblast .sidebar nav {
		grid-template-columns: repeat(2, minmax(0, 1fr));
		column-gap: 0.35rem;
	}
	body.paper-statoblast .paper-brand {
		align-items: stretch;
	}
	body.paper-statoblast .companion-link {
		max-width: none;
	}
}

@media (max-width: 640px) {
	body.paper-statoblast .site-shell {
		width: min(calc(100% - var(--docs-page-inline-gutter-mobile)), var(--docs-page-tablet-width));
		padding-bottom: 2rem;
	}
	body.paper-statoblast .sidebar nav {
		grid-template-columns: repeat(2, minmax(0, 1fr));
		column-gap: 0.25rem;
	}
	body.paper-statoblast .hero,
	body.paper-statoblast .paper-section {
		border-radius: var(--radius);
	}
	body.paper-statoblast .hero {
		padding: 1.2rem;
	}
	body.paper-statoblast .paper-section {
		padding: 0.7rem;
	}
	body.paper-statoblast .paper-brand {
		flex-direction: column;
		margin-bottom: 1.4rem;
	}
	body.paper-statoblast h1 {
		max-width: 100%;
		font-size: clamp(2.15rem, 10.5vw, 3rem);
	}
	body.paper-statoblast .subtitle {
		font-size: 1rem;
	}
	body.paper-statoblast .diagram {
		margin-right: -0.2rem;
		margin-left: -0.2rem;
		padding: 0.4rem;
	}
	body.paper-statoblast .diagram svg {
		width: 42rem;
		max-width: none;
		min-width: 42rem;
	}
	body.paper-statoblast th,
	body.paper-statoblast td {
		padding: 0.65rem 0.72rem;
	}
}

@media (max-width: 360px) {
	body.paper-statoblast .sidebar nav {
		grid-template-columns: 1fr;
	}
}

@page {
	margin: 0.65in;
}

@media print {
	body.paper-statoblast {
		color-scheme: light;
		--bg: #fff;
		--paper: #fff;
		--ink: #111;
		--muted: #444;
		--line: #bbb;
		--soft-line: #ddd;
		--card-bg: #fff;
		--section-bg: #fff;
		--code-bg: #f6f6f6;
		--table-head: #f1f1f1;
		--shadow: none;
		--section-shadow: none;
	}
	body.paper-statoblast {
		background: #fff;
	}
	body.paper-statoblast::before,
	body.paper-statoblast .skip-link,
	body.paper-statoblast .sidebar,
	body.paper-statoblast .anchor-link {
		display: none;
	}
	body.paper-statoblast .site-shell {
		display: block;
		width: 100%;
		padding: 0;
	}
	body.paper-statoblast .hero,
	body.paper-statoblast .paper-section {
		border: 0;
		box-shadow: none;
		break-inside: auto;
	}
	body.paper-statoblast .hero {
		padding: 0 0 1rem;
	}
	body.paper-statoblast .paper-section {
		margin-top: 1rem;
		padding: 1rem 0 0;
		border-top: 1px solid #ddd;
	}
	body.paper-statoblast .companion-link {
		border: 0;
		padding: 0;
	}
	body.paper-statoblast .diagram,
	body.paper-statoblast .table-wrap,
	body.paper-statoblast table,
	body.paper-statoblast .step-list li,
	body.paper-statoblast .glossary-card,
	body.paper-statoblast .timeline-card,
	body.paper-statoblast .implementation-note {
		break-inside: avoid;
	}
	body.paper-statoblast .diagram,
	body.paper-statoblast .table-wrap,
	body.paper-statoblast .equation {
		overflow: visible;
	}
	body.paper-statoblast .diagram svg {
		max-width: 100%;
		min-width: 0;
	}
	body.paper-statoblast a {
		color: #111;
		text-decoration: none;
	}
}

/* Zoltar white paper */

body.paper-zoltar {
	color-scheme: light dark;
	--bg: #f4f7f6;
	--paper: #fffefd;
	--ink: #202427;
	--muted: #58646a;
	--line: #d4ddda;
	--soft-line: #e8eeec;
	--card-bg: #fbfcfb;
	--table-head: #eef5f2;
	--green: #1c7659;
	--green-soft: #d9eee7;
	--gold: #8a5c14;
	--gold-soft: #f3dfb8;
	--teal: #1c7659;
	--teal-soft: #d9eee7;
	--red: #9f463d;
	--red-soft: #f2d2cb;
	--blue: #285f9f;
	--blue-soft: #dce9f8;
	--code-bg: #f8f3e8;
	--section-bg: #f8faf9;
	--accent: var(--blue);
	--accent-soft: var(--blue-soft);
	--accent-2: var(--green);
	--accent-2-soft: var(--green-soft);
	--accent-rgb: 40 95 159;
	--accent-2-rgb: 28 118 89;
	--diagram-line: #59615f;
	--focus: #174f9d;
	--radius: 0.5rem;
	--radius-sm: 0.35rem;
	--shadow: 0 18px 48px rgb(22 50 45 / 9%);
	--section-shadow: 0 12px 34px rgb(22 50 45 / 6%);
	font-family: var(--docs-font-sans);
}
body.paper-statoblast {
	--accent: var(--green);
	--accent-soft: var(--green-soft);
	--accent-2: var(--gold);
	--accent-2-soft: var(--gold-soft);
	--accent-rgb: 28 118 89;
	--accent-2-rgb: 138 92 20;
}
body.paper-zoltar {
	--accent: var(--blue);
	--accent-soft: var(--blue-soft);
	--accent-2: var(--green);
	--accent-2-soft: var(--green-soft);
	--accent-rgb: 40 95 159;
	--accent-2-rgb: 28 118 89;
}

@media (prefers-color-scheme: dark) {
	body.paper-zoltar {
		--bg: #111516;
		--paper: #191d1e;
		--ink: #f1f4f2;
		--muted: #b4bfbb;
		--line: #3b4744;
		--soft-line: #2b3331;
		--card-bg: #1d2322;
		--table-head: #232b29;
		--green: #72cba9;
		--green-soft: #14372c;
		--gold: #e6b65d;
		--gold-soft: #3a2d15;
		--teal: #72cba9;
		--teal-soft: #14372c;
		--red: #ef8e82;
		--red-soft: #3d201d;
		--blue: #8bb9f0;
		--blue-soft: #17283f;
		--code-bg: #27231c;
		--section-bg: #1d2221;
		--diagram-line: #aeb9b5;
		--focus: #acd0ff;
		--shadow: 0 18px 48px rgb(0 0 0 / 32%);
		--section-shadow: 0 12px 34px rgb(0 0 0 / 22%);
	}
	body.paper-statoblast {
		--accent: var(--green);
		--accent-soft: var(--green-soft);
		--accent-2: var(--gold);
		--accent-2-soft: var(--gold-soft);
		--accent-rgb: 114 203 169;
		--accent-2-rgb: 230 182 93;
	}
	body.paper-zoltar {
		--accent: var(--blue);
		--accent-soft: var(--blue-soft);
		--accent-2: var(--green);
		--accent-2-soft: var(--green-soft);
		--accent-rgb: 139 185 240;
		--accent-2-rgb: 114 203 169;
	}
}
body.paper-zoltar * {
	box-sizing: border-box;
}
html {
	scroll-behavior: smooth;
	scroll-padding-top: 1.5rem;
}

@media (prefers-reduced-motion: reduce) {
	body.paper-zoltar *,
	body.paper-zoltar *::before,
	body.paper-zoltar *::after {
		transition-duration: 0.01ms !important;
		animation-duration: 0.01ms !important;
		animation-iteration-count: 1 !important;
	}
	html {
		scroll-behavior: auto;
	}
}
body.paper-zoltar {
	counter-reset: figure equation;
	margin: 0;
	background: linear-gradient(120deg, rgb(var(--accent-rgb) / 9%), transparent 32rem), linear-gradient(300deg, rgb(var(--accent-2-rgb) / 8%), transparent 34rem), var(--bg);
	color: var(--ink);
	font-size: 1rem;
	line-height: 1.64;
	text-rendering: optimizeLegibility;
}
body.paper-zoltar::before {
	position: fixed;
	z-index: 2;
	top: 0;
	right: 0;
	left: 0;
	height: 0.22rem;
	background: linear-gradient(90deg, var(--accent), var(--accent-2));
	content: "";
	pointer-events: none;
}
body.paper-zoltar a {
	color: var(--blue);
	text-decoration-thickness: 0.08em;
	text-underline-offset: 0.18em;
}
body.paper-zoltar a:hover {
	color: var(--ink);
}
body.paper-zoltar a:focus-visible,
body.paper-zoltar button:focus-visible,
body.paper-zoltar [tabindex]:focus-visible {
	outline: 2px solid var(--focus);
	outline-offset: 3px;
	border-radius: var(--radius-sm);
}
body.paper-zoltar p {
	margin: 0 0 1rem;
}
body.paper-zoltar figure {
	margin-right: 0;
	margin-left: 0;
}
body.paper-zoltar code {
	padding: 0.1rem 0.32rem;
	border: 1px solid var(--soft-line);
	border-radius: var(--radius-sm);
	background: var(--code-bg);
	font-family: var(--docs-font-mono);
	font-size: 0.92em;
	overflow-wrap: anywhere;
}
body.paper-zoltar .skip-link {
	position: fixed;
	z-index: 3;
	top: 0.55rem;
	left: 0.75rem;
	transform: translateY(-150%);
	padding: 0.55rem 0.75rem;
	border: 1px solid var(--line);
	border-radius: var(--radius-sm);
	background: var(--paper);
	box-shadow: var(--section-shadow);
	color: var(--ink);
	font-weight: 800;
	text-decoration: none;
}
body.paper-zoltar .skip-link:focus-visible {
	transform: translateY(0);
}
body.paper-zoltar .site-shell {
	display: grid;
	grid-template-columns: minmax(14rem, 17.5rem) minmax(0, 1fr);
	gap: clamp(1rem, 3vw, 2.25rem);
	width: min(var(--docs-page-width), calc(100% - var(--docs-page-inline-gutter-desktop)));
	margin: 0 auto;
	padding: 2rem 0 4rem;
}
body.paper-zoltar .sidebar {
	position: sticky;
	top: 1.5rem;
	align-self: start;
	max-height: calc(100vh - 3rem);
	overflow: auto;
	padding: 0.85rem;
	border: 1px solid var(--line);
	border-radius: var(--radius);
	background: color-mix(in srgb, var(--paper) 92%, transparent);
	box-shadow: 0 10px 34px rgb(22 50 45 / 7%);
	backdrop-filter: blur(12px);
}
body.paper-zoltar .sidebar-header {
	padding: 0.2rem 0.25rem 0.75rem;
	border-bottom: 1px solid var(--soft-line);
}
body.paper-zoltar .sidebar-series {
	display: block;
	color: var(--muted);
	font-size: 0.75rem;
	font-weight: 800;
	letter-spacing: 0.08em;
	text-transform: uppercase;
}
body.paper-zoltar .sidebar strong {
	display: block;
	margin-top: 0.15rem;
	color: var(--accent);
	font-size: 0.98rem;
	font-weight: 850;
}
body.paper-zoltar .sidebar-header p {
	margin: 0.2rem 0 0;
	color: var(--muted);
	font-size: 0.86rem;
	line-height: 1.35;
}
body.paper-zoltar .sidebar-companion,
body.paper-zoltar .companion-link {
	text-decoration: none;
}
body.paper-zoltar .sidebar-companion {
	display: block;
	margin: 0.8rem 0;
	padding: 0.65rem 0.72rem;
	border: 1px solid var(--soft-line);
	border-radius: var(--radius-sm);
	background: color-mix(in srgb, var(--accent-soft) 54%, var(--paper));
	color: var(--ink);
}
body.paper-zoltar .sidebar-companion span,
body.paper-zoltar .companion-link span {
	display: block;
	color: var(--muted);
	font-size: 0.72rem;
	font-weight: 850;
	letter-spacing: 0.08em;
	text-transform: uppercase;
}
body.paper-zoltar .sidebar-companion b,
body.paper-zoltar .companion-link b {
	display: block;
	margin-top: 0.16rem;
	font-size: 0.92rem;
	line-height: 1.25;
}
body.paper-zoltar .sidebar nav {
	display: grid;
	gap: 0.12rem;
}
body.paper-zoltar .sidebar nav a {
	display: block;
	min-height: 2rem;
	padding: 0.36rem 0.65rem 0.36rem 0.75rem;
	border: 1px solid transparent;
	border-radius: var(--radius-sm);
	color: var(--muted);
	font-size: 0.91rem;
	line-height: 1.35;
	text-decoration: none;
}
body.paper-zoltar .sidebar nav a:hover {
	border-color: var(--soft-line);
	background: color-mix(in srgb, var(--accent-soft) 36%, transparent);
	color: var(--ink);
}
body.paper-zoltar .sidebar nav a[aria-current="location"] {
	border-color: color-mix(in srgb, var(--accent) 34%, var(--line));
	background: color-mix(in srgb, var(--accent-soft) 68%, var(--paper));
	box-shadow: inset 0.22rem 0 0 var(--accent);
	color: var(--ink);
	font-weight: 800;
}
body.paper-zoltar main {
	min-width: 0;
}
body.paper-zoltar .hero,
body.paper-zoltar .paper-section {
	border: 1px solid var(--line);
	border-radius: var(--radius);
	background: var(--paper);
	box-shadow: var(--section-shadow);
}
body.paper-zoltar .hero {
	position: relative;
	overflow: hidden;
	padding: clamp(2rem, 5vw, 4rem);
	background: radial-gradient(circle at 85% 15%, rgb(var(--accent-2-rgb) / 14%), transparent 15rem), linear-gradient(145deg, var(--paper), var(--section-bg));
	box-shadow: var(--shadow);
}
body.paper-zoltar .hero::after {
	position: absolute;
	inset: 0;
	background: linear-gradient(90deg, rgb(var(--accent-rgb) / 9%), transparent 28rem);
	content: "";
	pointer-events: none;
}
body.paper-zoltar .hero > * {
	position: relative;
	z-index: 1;
}
body.paper-zoltar .paper-brand {
	display: flex;
	align-items: flex-start;
	justify-content: space-between;
	gap: 1rem;
	margin-bottom: clamp(1.5rem, 4vw, 2.4rem);
}
body.paper-zoltar .brand-lockup {
	display: inline-flex;
	align-items: center;
	gap: 0.72rem;
	min-width: 0;
}
body.paper-zoltar .brand-mark {
	display: grid;
	flex: 0 0 auto;
	grid-template-columns: repeat(2, 0.55rem);
	grid-template-rows: repeat(2, 0.55rem);
	gap: 0.22rem;
	place-content: center;
	width: 2.35rem;
	height: 2.35rem;
	border: 1px solid color-mix(in srgb, var(--accent) 42%, var(--line));
	border-radius: var(--radius);
	background: color-mix(in srgb, var(--accent-soft) 56%, var(--paper));
}
body.paper-zoltar .brand-mark span {
	border-radius: 999px;
	background: var(--accent);
}
body.paper-zoltar .brand-mark span:nth-child(2) {
	background: var(--accent-2);
}
body.paper-zoltar .brand-mark span:nth-child(3) {
	grid-column: 1 / 3;
	width: 1.32rem;
	border-radius: 0.2rem;
	background: linear-gradient(90deg, var(--accent), var(--accent-2));
	justify-self: center;
}
body.paper-zoltar .brand-name,
body.paper-zoltar .brand-subtitle {
	display: block;
	line-height: 1.2;
}
body.paper-zoltar .brand-name {
	font-size: 0.92rem;
	font-weight: 850;
}
body.paper-zoltar .brand-subtitle {
	margin-top: 0.12rem;
	color: var(--muted);
	font-size: 0.78rem;
}
body.paper-zoltar .companion-link {
	max-width: 15.5rem;
	padding: 0.62rem 0.75rem;
	border: 1px solid var(--soft-line);
	border-radius: var(--radius-sm);
	background: color-mix(in srgb, var(--paper) 78%, transparent);
	color: var(--ink);
}
body.paper-zoltar .hero-label-row {
	display: flex;
	flex-wrap: wrap;
	align-items: center;
	gap: 0.7rem 1rem;
	margin-bottom: 0.8rem;
}
body.paper-zoltar .kicker {
	display: inline-flex;
	align-items: center;
	gap: 0.42rem;
	margin: 0;
	color: var(--accent);
	font-size: 0.8rem;
	font-weight: 850;
	letter-spacing: 0.1em;
	text-transform: uppercase;
}
body.paper-zoltar .layer-dot {
	width: 0.52rem;
	height: 0.52rem;
	border-radius: 999px;
	background: var(--accent);
	box-shadow: 0 0 0 0.22rem rgb(var(--accent-rgb) / 14%);
}
body.paper-zoltar .paper-status {
	margin: 0;
	color: var(--muted);
	font-size: 0.9rem;
	font-weight: 650;
}
body.paper-zoltar h1,
body.paper-zoltar h2,
body.paper-zoltar h3 {
	line-height: 1.15;
}
body.paper-zoltar h1 {
	max-width: 18ch;
	margin: 0;
	font-size: clamp(2.5rem, 6vw, 4.6rem);
	letter-spacing: 0;
}
body.paper-zoltar .subtitle {
	max-width: 74ch;
	margin: 1.1rem 0 0;
	color: var(--muted);
	font-size: 1.12rem;
}
body.paper-zoltar .meta-grid {
	display: grid;
	grid-template-columns: repeat(auto-fit, minmax(min(100%, 13rem), 1fr));
	gap: 0.9rem;
	margin-top: 1.8rem;
}
body.paper-zoltar .meta-card,
body.paper-zoltar .summary-card {
	border: 1px solid var(--soft-line);
	border-top: 2px solid color-mix(in srgb, var(--accent) 52%, var(--line));
	border-radius: var(--radius);
	background: var(--card-bg);
	padding: 0.95rem 1rem;
}
body.paper-zoltar .meta-card span,
body.paper-zoltar .summary-card span {
	display: block;
	color: var(--muted);
	font-size: 0.76rem;
	font-weight: 850;
	letter-spacing: 0.08em;
	text-transform: uppercase;
}
body.paper-zoltar .meta-card b,
body.paper-zoltar .summary-card b {
	display: block;
	margin-top: 0.28rem;
	font-size: 1rem;
	line-height: 1.34;
}
body.paper-zoltar .summary-grid {
	display: grid;
	grid-template-columns: repeat(auto-fit, minmax(min(100%, 13rem), 1fr));
	gap: 0.9rem;
	margin: 1.35rem 0 0;
}
body.paper-zoltar .paper-section {
	margin-top: 1.25rem;
	padding: clamp(1rem, 3vw, 2rem);
}
body.paper-zoltar .paper-section:target {
	border-color: color-mix(in srgb, var(--accent) 34%, var(--line));
	box-shadow:
		0 0 0 3px rgb(var(--accent-rgb) / 10%),
		var(--section-shadow);
}
body.paper-zoltar .paper-section h2 {
	margin: 0 0 1rem;
	font-size: clamp(1.8rem, 4vw, 2.55rem);
}
body.paper-zoltar .paper-section h3 {
	max-width: 76ch;
	margin: 1.8rem 0 0.65rem;
	font-size: 1.25rem;
}
body.paper-zoltar .paper-section > p,
body.paper-zoltar .paper-section > ol,
body.paper-zoltar .paper-section > ul {
	max-width: 76ch;
}
body.paper-zoltar .lede {
	max-width: 76ch;
	color: color-mix(in srgb, var(--ink) 82%, var(--muted));
	font-size: 1.08rem;
	line-height: 1.68;
}
body.paper-zoltar .callout {
	max-width: 76ch;
	margin: 1.25rem 0;
	padding: 1rem 1.1rem;
	border: 1px solid color-mix(in srgb, var(--accent) 28%, var(--line));
	border-left: 0.35rem solid var(--accent);
	border-radius: var(--radius);
	background: color-mix(in srgb, var(--accent-soft) 62%, var(--paper));
}
body.paper-zoltar .callout strong {
	display: block;
	margin-bottom: 0.25rem;
}
body.paper-zoltar .contract-list,
body.paper-zoltar .clean-list {
	display: grid;
	gap: 0.55rem;
	padding-left: 1.1rem;
}
body.paper-zoltar .contract-list li,
body.paper-zoltar .clean-list li {
	padding-left: 0.2rem;
}
body.paper-zoltar .equation {
	counter-increment: equation;
	scroll-margin-top: 1rem;
	margin: 1.1rem 0;
	padding: 0.5rem;
	border: 1px solid var(--line);
	border-radius: var(--radius);
	background: var(--code-bg);
	overflow-x: auto;
	overscroll-behavior-x: contain;
	scrollbar-color: color-mix(in srgb, var(--accent) 52%, var(--line)) transparent;
	scrollbar-width: thin;
}
body.paper-zoltar .equation math {
	display: block;
	width: max-content;
	margin-inline: auto;
	font-size: 1.02rem;
}
body.paper-zoltar .equation-caption {
	margin: 0.7rem 0 0;
	color: var(--muted);
	font-size: 0.92rem;
}
body.paper-zoltar .equation-label {
	color: var(--ink);
	font-weight: 850;
}
body.paper-zoltar .equation-label::before {
	content: "Equation " counter(equation) ": ";
}
body.paper-zoltar .equation-label::after {
	content: ". ";
}
body.paper-zoltar .table-wrap {
	overflow-x: auto;
	margin: 1.2rem 0;
	border: 1px solid var(--line);
	border-radius: var(--radius);
	background: var(--section-bg);
	scrollbar-color: color-mix(in srgb, var(--accent) 52%, var(--line)) transparent;
	scrollbar-width: thin;
}
body.paper-zoltar table {
	width: 100%;
	margin: 1.2rem 0;
	border-collapse: separate;
	border-spacing: 0;
	background: var(--section-bg);
	font-size: 0.94rem;
}
body.paper-zoltar .table-wrap table {
	margin: 0;
}
body.paper-zoltar .invalid-table {
	min-width: 42rem;
}
body.paper-zoltar .invalid-table th:first-child,
body.paper-zoltar .invalid-table td:first-child {
	width: 10rem;
	white-space: nowrap;
}
body.paper-zoltar th,
body.paper-zoltar td {
	padding: 0.78rem 0.9rem;
	border-bottom: 1px solid var(--soft-line);
	text-align: left;
	vertical-align: top;
}
body.paper-zoltar th + th,
body.paper-zoltar td + td {
	border-left: 1px solid var(--soft-line);
}
body.paper-zoltar th {
	background: var(--table-head);
	color: var(--accent);
	font-size: 0.78rem;
	font-weight: 850;
	letter-spacing: 0.06em;
	text-transform: uppercase;
}
body.paper-zoltar tr:last-child td {
	border-bottom: 0;
}
body.paper-zoltar .diagram {
	counter-increment: figure;
	scroll-margin-top: 1rem;
	margin: 1.45rem 0;
	padding: 0.5rem;
	border: 1px solid var(--line);
	border-top: 3px solid var(--accent);
	border-radius: var(--radius);
	background: var(--section-bg);
	box-shadow: inset 0 -1.5rem 1.8rem -2rem rgb(var(--accent-rgb) / 34%);
	overflow-x: auto;
	overscroll-behavior-x: contain;
	scrollbar-color: color-mix(in srgb, var(--accent) 52%, var(--line)) transparent;
	scrollbar-width: thin;
}
body.paper-zoltar .diagram:nth-of-type(even) {
	border-top-color: var(--accent-2);
}
body.paper-zoltar .diagram svg {
	display: block;
	width: 100%;
	min-width: 42rem;
	height: auto;
	color: var(--diagram-line);
}
body.paper-zoltar .diagram-title {
	margin: 0 0 0.75rem;
	color: var(--muted);
	font-size: 0.8rem;
	font-weight: 850;
	letter-spacing: 0.08em;
	text-transform: uppercase;
}
body.paper-zoltar .diagram-caption {
	margin: 0.8rem 0 0;
	color: var(--muted);
	font-size: 0.94rem;
	line-height: 1.5;
}
body.paper-zoltar .figure-label {
	color: var(--ink);
	font-weight: 850;
}
body.paper-zoltar .figure-label::before {
	content: "Figure " counter(figure) ": ";
}
body.paper-zoltar .figure-label::after {
	content: ". ";
}
body.paper-zoltar .legend {
	display: flex;
	flex-wrap: wrap;
	gap: 0.55rem 1rem;
	margin-top: 0.8rem;
	color: var(--muted);
	font-size: 0.86rem;
}
body.paper-zoltar .legend-item {
	display: inline-flex;
	align-items: center;
	gap: 0.4rem;
}
body.paper-zoltar .legend-swatch {
	width: 0.9rem;
	height: 0.9rem;
	border: 1px solid currentColor;
	border-radius: 0.2rem;
}
body.paper-zoltar .legend-swatch.teal,
body.paper-zoltar .legend-swatch.green {
	background: var(--green-soft);
	color: var(--green);
}
body.paper-zoltar .legend-swatch.gold {
	background: var(--gold-soft);
	color: var(--gold);
}
body.paper-zoltar .legend-swatch.red {
	background: var(--red-soft);
	color: var(--red);
}
body.paper-zoltar .legend-swatch.blue {
	background: var(--blue-soft);
	color: var(--blue);
}
body.paper-zoltar .section-heading {
	display: flex;
	align-items: baseline;
	justify-content: space-between;
	gap: 1rem;
	margin-bottom: 1rem;
	border-bottom: 1px solid var(--soft-line);
}
body.paper-zoltar .anchor-link {
	flex: none;
	color: var(--muted);
	font-size: 1rem;
	font-weight: 850;
	text-decoration: none;
}
body.paper-zoltar .anchor-link:hover {
	color: var(--ink);
}
body.paper-zoltar .glossary-grid,
body.paper-zoltar .timeline-grid,
body.paper-zoltar .implementation-grid {
	display: grid;
	grid-template-columns: repeat(auto-fit, minmax(min(100%, 17rem), 1fr));
	gap: 0.85rem;
	margin: 1.2rem 0;
}
body.paper-zoltar .glossary-card,
body.paper-zoltar .timeline-card,
body.paper-zoltar .implementation-note {
	padding: 0.95rem 1rem;
	border: 1px solid var(--soft-line);
	border-radius: var(--radius);
	background: var(--card-bg);
}
body.paper-zoltar .glossary-card b,
body.paper-zoltar .timeline-card b,
body.paper-zoltar .implementation-note b {
	display: block;
	margin-bottom: 0.25rem;
}
body.paper-zoltar .glossary-card p,
body.paper-zoltar .timeline-card p,
body.paper-zoltar .implementation-note p {
	margin: 0;
	color: var(--muted);
}
body.paper-zoltar .term {
	border-bottom: 1px dotted currentColor;
	cursor: help;
	font-weight: 650;
	text-decoration: none;
	text-underline-offset: 0.18em;
}
body.paper-zoltar .term:focus-visible {
	outline: 2px solid var(--accent);
	outline-offset: 0.12rem;
	border-radius: 0.15rem;
}
body.paper-zoltar .implementation-note {
	border-left: 0.3rem solid var(--blue);
}
body.paper-zoltar .svg-box {
	fill: var(--paper);
	stroke: var(--line);
	stroke-width: 2;
}
body.paper-zoltar .svg-green,
body.paper-zoltar .svg-teal {
	fill: var(--green-soft);
	stroke: var(--green);
	stroke-width: 2;
}
body.paper-zoltar .svg-gold {
	fill: var(--gold-soft);
	stroke: var(--gold);
	stroke-width: 2;
}
body.paper-zoltar .svg-red {
	fill: var(--red-soft);
	stroke: var(--red);
	stroke-width: 2;
}
body.paper-zoltar .svg-blue {
	fill: var(--blue-soft);
	stroke: var(--blue);
	stroke-width: 2;
}
body.paper-zoltar .svg-line {
	fill: none;
	stroke: var(--diagram-line);
	stroke-linecap: round;
	stroke-linejoin: round;
	stroke-width: 2.35;
}
body.paper-zoltar .svg-label {
	fill: var(--ink);
	font-family: var(--docs-font-sans);
	font-size: 17px;
	font-weight: 800;
}
body.paper-zoltar .svg-small {
	fill: var(--muted);
	font-size: 13px;
	font-weight: 650;
}
body.paper-zoltar .step-list {
	display: grid;
	gap: 0.8rem;
	max-width: none;
	counter-reset: steps;
	list-style: none;
	padding: 0;
}
body.paper-zoltar .paper-section > .step-list {
	max-width: none;
}
body.paper-zoltar .step-list li {
	display: flex;
	gap: 0.75rem;
	align-items: start;
	min-width: 0;
	padding: 0.85rem;
	border: 1px solid var(--soft-line);
	border-radius: var(--radius);
	background: var(--section-bg);
	counter-increment: steps;
}
body.paper-zoltar .step-list li::before {
	display: grid;
	flex: 0 0 auto;
	width: 2rem;
	height: 2rem;
	place-items: center;
	border-radius: 999px;
	background: var(--ink);
	color: var(--paper);
	content: counter(steps);
	font-size: 0.9rem;
	font-weight: 850;
}
body.paper-zoltar .step-content {
	min-width: 0;
	overflow-wrap: anywhere;
}
body.paper-zoltar .footer-note {
	margin: 1.5rem 0 0;
	color: var(--muted);
	font-size: 0.92rem;
}

@media (max-width: 1000px) {
	body.paper-zoltar .site-shell {
		display: block;
		width: min(calc(100% - var(--docs-page-inline-gutter-tablet)), var(--docs-page-tablet-width));
		padding-top: 0.75rem;
	}
	body.paper-zoltar .sidebar {
		position: static;
		max-height: none;
		margin: 0.5rem 0 1rem;
	}
	body.paper-zoltar .sidebar nav {
		grid-template-columns: repeat(2, minmax(0, 1fr));
		column-gap: 0.35rem;
	}
	body.paper-zoltar .paper-brand {
		align-items: stretch;
	}
	body.paper-zoltar .companion-link {
		max-width: none;
	}
}

@media (max-width: 640px) {
	body.paper-zoltar .site-shell {
		width: min(calc(100% - var(--docs-page-inline-gutter-mobile)), var(--docs-page-tablet-width));
		padding-bottom: 2rem;
	}
	body.paper-zoltar .sidebar nav {
		grid-template-columns: repeat(2, minmax(0, 1fr));
		column-gap: 0.25rem;
	}
	body.paper-zoltar .hero,
	body.paper-zoltar .paper-section {
		border-radius: var(--radius);
	}
	body.paper-zoltar .hero {
		padding: 1.2rem;
	}
	body.paper-zoltar .paper-section {
		padding: 0.7rem;
	}
	body.paper-zoltar .paper-brand {
		flex-direction: column;
		margin-bottom: 1.4rem;
	}
	body.paper-zoltar h1 {
		max-width: 100%;
		font-size: clamp(2.15rem, 10.5vw, 3rem);
	}
	body.paper-zoltar .subtitle {
		font-size: 1rem;
	}
	body.paper-zoltar .diagram {
		margin-right: -0.2rem;
		margin-left: -0.2rem;
		padding: 0.4rem;
	}
	body.paper-zoltar .diagram svg {
		width: 42rem;
		max-width: none;
		min-width: 42rem;
	}
	body.paper-zoltar th,
	body.paper-zoltar td {
		padding: 0.65rem 0.72rem;
	}
}

@media (max-width: 360px) {
	body.paper-zoltar .sidebar nav {
		grid-template-columns: 1fr;
	}
}

@page {
	margin: 0.65in;
}

@media print {
	body.paper-zoltar {
		color-scheme: light;
		--bg: #fff;
		--paper: #fff;
		--ink: #111;
		--muted: #444;
		--line: #bbb;
		--soft-line: #ddd;
		--card-bg: #fff;
		--section-bg: #fff;
		--code-bg: #f6f6f6;
		--table-head: #f1f1f1;
		--shadow: none;
		--section-shadow: none;
	}
	body.paper-zoltar {
		background: #fff;
	}
	body.paper-zoltar::before,
	body.paper-zoltar .skip-link,
	body.paper-zoltar .anchor-link {
		display: none;
	}
	body.paper-zoltar .site-shell {
		display: block;
		width: 100%;
		padding: 0;
	}
	body.paper-zoltar .sidebar {
		display: none;
	}
	body.paper-zoltar .hero,
	body.paper-zoltar .paper-section {
		border: 0;
		box-shadow: none;
		break-inside: auto;
	}
	body.paper-zoltar .hero {
		padding: 0 0 1rem;
	}
	body.paper-zoltar .paper-section {
		margin-top: 1rem;
		padding: 1rem 0 0;
		border-top: 1px solid #ddd;
	}
	body.paper-zoltar .companion-link {
		border: 0;
		padding: 0;
	}
	body.paper-zoltar .diagram,
	body.paper-zoltar .table-wrap,
	body.paper-zoltar table,
	body.paper-zoltar .step-list li,
	body.paper-zoltar .glossary-card,
	body.paper-zoltar .timeline-card,
	body.paper-zoltar .implementation-note {
		break-inside: avoid;
	}
	body.paper-zoltar .diagram,
	body.paper-zoltar .table-wrap,
	body.paper-zoltar .equation {
		overflow: visible;
	}
	body.paper-zoltar .diagram svg {
		max-width: 100%;
		min-width: 0;
	}
	body.paper-zoltar a {
		color: #111;
		text-decoration: none;
	}
}

/*
	Inside the searchable reader, every source document adopts the reader's visual
	vocabulary. Standalone pages retain their own theme and print treatment.
*/
@media screen {
	body.reader-embedded {
		color-scheme: light;
		--bg: #fffdf8;
		--paper: #fffdf8;
		--ink: #17201d;
		--muted: #65706b;
		--line: #d8d4ca;
		--soft: #f3f0e9;
		--soft-line: #e7e2d8;
		--card-bg: #fbf9f4;
		--section-bg: #f7f4ed;
		--code-bg: #f4ede2;
		--table-head: #eeeae1;
		--green: #176653;
		--green-soft: #dcece5;
		--blue: #176653;
		--blue-soft: #dcece5;
		--gold: #9b4f2d;
		--gold-soft: #f2dfd4;
		--teal: #176653;
		--teal-soft: #dcece5;
		--red: #98483b;
		--red-soft: #f2d9d3;
		--accent: #176653;
		--accent-soft: #dcece5;
		--accent-2: #9b4f2d;
		--accent-2-soft: #f2dfd4;
		--accent-rgb: 23 102 83;
		--accent-2-rgb: 155 79 45;
		--diagram-line: #65706b;
		--focus: #176653;
		--radius: 0.75rem;
		--radius-sm: 0.45rem;
		--shadow: none;
		--section-shadow: none;
		margin: 0;
		background: var(--paper);
		color: var(--ink);
		font-family: var(--docs-font-sans);
		font-size: 1rem;
		line-height: 1.62;
	}

	body.reader-embedded::before {
		display: none;
	}

	body.doc-openoracle.reader-embedded main,
	body.paper-statoblast.reader-embedded .site-shell,
	body.paper-zoltar.reader-embedded .site-shell {
		display: block;
		width: 100%;
		max-width: none;
		margin: 0;
		padding: clamp(0.55rem, 1.8vw, 1rem);
	}

	body.paper-statoblast.reader-embedded .paper-content,
	body.paper-zoltar.reader-embedded .paper-content {
		width: 100%;
		min-width: 0;
	}

	body.reader-embedded :is(h1, h2) {
		font-family: Georgia, "Times New Roman", serif;
		font-weight: 500;
		letter-spacing: -0.025em;
	}

	body.doc-openoracle.reader-embedded h1,
	body.paper-statoblast.reader-embedded h1,
	body.paper-zoltar.reader-embedded h1 {
		max-width: 19ch;
		font-size: clamp(2.25rem, 5.5vw, 3.7rem);
		line-height: 1.03;
	}

	body.doc-openoracle.reader-embedded h2,
	body.paper-statoblast.reader-embedded .paper-section h2,
	body.paper-zoltar.reader-embedded .paper-section h2 {
		font-size: clamp(1.55rem, 3.5vw, 2.3rem);
		line-height: 1.12;
	}

	body.reader-embedded a {
		color: var(--accent);
		text-decoration-thickness: 0.08em;
		text-underline-offset: 0.18em;
	}

	body.reader-embedded a:hover {
		color: var(--ink);
	}

	body.reader-embedded :is(a, button, input, select, [tabindex]):focus-visible {
		outline: 3px solid var(--accent-soft);
		outline-offset: 2px;
	}

	body.doc-openoracle.reader-embedded header,
	body.paper-statoblast.reader-embedded .hero,
	body.paper-zoltar.reader-embedded .hero {
		margin: 0 0 0.9rem;
		padding: clamp(1.25rem, 4vw, 2.5rem);
		border: 1px solid var(--line);
		border-radius: var(--radius);
		background: radial-gradient(circle at 92% 4%, rgb(var(--accent-2-rgb) / 11%), transparent 20rem), linear-gradient(145deg, var(--paper), var(--section-bg));
		box-shadow: none;
	}

	body.doc-openoracle.reader-embedded section,
	body.paper-statoblast.reader-embedded .paper-section,
	body.paper-zoltar.reader-embedded .paper-section {
		margin: 0.9rem 0 0;
		padding: clamp(1rem, 3vw, 1.75rem);
		border: 1px solid var(--line);
		border-radius: var(--radius);
		background: var(--paper);
		box-shadow: none;
	}

	body.reader-embedded :is(.meta-card, .summary-card) {
		border-top-color: color-mix(in srgb, var(--accent) 52%, var(--line));
	}

	body.reader-embedded :is(.diagram, .equation, .example-visual, .interactive-example, .table-wrap) {
		border-color: var(--line);
		border-radius: 0.65rem;
		box-shadow: none;
	}

	body.reader-embedded .interactive-tool-toolbar {
		border-color: var(--line);
		border-radius: 0.65rem;
		background: var(--soft);
	}

	body.reader-embedded :is(.interactive-tool-toolbar select, .interactive-tool-toolbar button, .interactive-tool-retry) {
		border-radius: 0.5rem;
		background: var(--paper);
	}

	body.reader-embedded :is(table, th, td) {
		border-color: var(--line);
	}

	body.reader-embedded th {
		background: var(--table-head);
	}
}

@media screen and (max-width: 640px) {
	body.doc-openoracle.reader-embedded main,
	body.paper-statoblast.reader-embedded .site-shell,
	body.paper-zoltar.reader-embedded .site-shell {
		padding: 0.4rem;
	}

	body.doc-openoracle.reader-embedded header,
	body.paper-statoblast.reader-embedded .hero,
	body.paper-zoltar.reader-embedded .hero {
		padding: 1.05rem;
	}

	body.doc-openoracle.reader-embedded section,
	body.paper-statoblast.reader-embedded .paper-section,
	body.paper-zoltar.reader-embedded .paper-section {
		padding: 0.85rem;
	}

	.equation {
		max-width: 100%;
	}

	.equation math {
		max-width: none;
	}

	.equation-array math {
		font-size: min(0.9rem, 4vw);
	}

	.equation-array mtd {
		padding-inline: 0.15em;
	}

	:is(.table-wrap, .table-scroll) :is(th, td) {
		overflow-wrap: anywhere;
	}

	:is(.table-wrap, .table-scroll) table {
		font-size: clamp(0.78rem, 3.4vw, 0.92rem);
	}

	:is(.table-wrap, .table-scroll, .docs-auto-table-scroll) > .docs-responsive-table {
		display: block;
		width: 100%;
		min-width: 0;
		background: transparent;
	}

	body.paper-statoblast :is(.table-wrap, .table-scroll, .docs-auto-table-scroll) > table.docs-responsive-table,
	body.paper-zoltar :is(.table-wrap, .table-scroll, .docs-auto-table-scroll) > table.docs-responsive-table {
		min-width: 0;
	}

	body.paper-statoblast table.docs-responsive-table :is(th, td),
	body.paper-zoltar table.docs-responsive-table :is(th, td) {
		width: auto;
		white-space: normal;
	}

	body.paper-statoblast table.invalid-table.docs-responsive-table :is(th, td):first-child,
	body.paper-zoltar table.invalid-table.docs-responsive-table :is(th, td):first-child {
		width: auto;
		white-space: normal;
	}

	.docs-responsive-table > thead {
		position: absolute;
		width: 1px;
		height: 1px;
		margin: -1px;
		padding: 0;
		overflow: hidden;
		clip: rect(0 0 0 0);
		clip-path: inset(50%);
		white-space: nowrap;
	}

	.docs-responsive-table > tbody {
		display: grid;
		gap: 0.7rem;
		padding: 0.7rem;
	}

	.docs-responsive-table > tbody > tr {
		display: block;
		overflow: hidden;
		border: 1px solid var(--line, rgba(0, 0, 0, 0.16));
		border-radius: 0.55rem;
		background: var(--paper, #fff);
	}

	.docs-responsive-table > tbody > tr > td {
		display: grid;
		grid-template-columns: minmax(7rem, 36%) minmax(0, 1fr);
		gap: 0.7rem;
		padding: 0.65rem 0.75rem;
		border: 0;
		border-bottom: 1px solid var(--soft-line, var(--line, rgba(0, 0, 0, 0.12)));
		overflow-wrap: anywhere;
		white-space: normal;
	}

	.docs-responsive-table > tbody > tr > td::before {
		content: attr(data-docs-label);
		color: var(--accent, var(--blue, #176653));
		font-size: 0.72rem;
		font-weight: 850;
		letter-spacing: 0.045em;
		line-height: 1.35;
		text-transform: uppercase;
	}

	.docs-responsive-table > tbody > tr > td:last-child {
		border-bottom: 0;
	}

	.docs-responsive-table + .docs-overflow-cue {
		display: none;
	}

	body.paper-statoblast .architecture-map-heading,
	body.paper-statoblast .architecture-layer,
	body.paper-statoblast .architecture-path {
		grid-template-columns: 1fr;
	}

	body.paper-statoblast .architecture-map-heading,
	body.paper-statoblast .architecture-layer {
		padding: 0.9rem;
	}

	body.paper-statoblast .architecture-components,
	body.paper-statoblast .architecture-layer-foundation .architecture-components,
	body.paper-statoblast .architecture-layer-ledger .architecture-components,
	body.paper-statoblast .architecture-service-grid,
	body.paper-statoblast .architecture-path ol {
		grid-template-columns: 1fr;
	}

	body.paper-statoblast .architecture-arrow {
		transform: rotate(90deg);
		justify-self: center;
		line-height: 1;
	}

	body.paper-statoblast .architecture-path li {
		padding: 0.6rem 0;
	}

	body.paper-statoblast .architecture-path li + li {
		border-top: 1px solid var(--soft-line);
		border-left: 0;
	}
}

@media screen and (max-width: 420px) {
	.docs-responsive-table > tbody > tr > td {
		grid-template-columns: 1fr;
		gap: 0.2rem;
	}
}

.docs-overflow-cue {
	position: sticky;
	left: 0.5rem;
	display: block;
	width: fit-content;
	margin: 0.45rem 0 0;
	padding: 0.25rem 0.45rem;
	border-radius: 0.35rem;
	background: color-mix(in srgb, var(--paper, #fff) 94%, transparent);
	color: var(--muted, #52606d);
	font-size: 0.76rem;
	font-weight: 700;
}

.docs-content-overflows {
	scrollbar-gutter: stable;
}

.docs-content-overflows:focus-visible {
	outline: 2px solid var(--accent, var(--blue, #176653));
	outline-offset: 0.2rem;
}

.docs-equation-compact {
	display: none;
}

.equation-compact-active {
	overflow-x: hidden !important;
}

.equation-compact-active > math {
	position: absolute;
	width: 1px !important;
	height: 1px;
	margin: -1px !important;
	padding: 0;
	overflow: hidden;
	clip: rect(0 0 0 0);
	clip-path: inset(50%);
	white-space: nowrap;
}

.equation-compact-active > .docs-equation-compact {
	display: grid;
	gap: 0.7rem;
	font-family: var(--mono);
	font-size: clamp(0.78rem, 3.3vw, 0.9rem);
	line-height: 1.45;
}

.docs-equation-compact-row {
	display: grid;
	gap: 0.15rem;
	min-width: 0;
}

.docs-equation-compact-label {
	color: var(--ink);
	font-weight: 750;
}

.docs-equation-compact-expression {
	min-width: 0;
	padding-inline-start: 0.65rem;
	color: var(--ink);
	white-space: normal;
}

.docs-auto-table-scroll {
	max-width: 100%;
	overflow-x: auto;
	overscroll-behavior-x: contain;
	scrollbar-width: thin;
}

.docs-auto-table-scroll > table {
	display: table;
	width: max-content;
	min-width: 100%;
	overflow: visible;
	white-space: normal;
}