.doc-nav-toggle {
	display: none;
}

.doc-nav-item {
	display: flex;
	align-items: baseline;
	gap: 8px;
}

.doc-nav-item .signal {
	align-self: center;
}

.nav-id {
	flex: none;
	font-family: var(--mono);
	font-size: 11px;
	letter-spacing: 0;
	color: var(--muted);
}

.badges {
	display: inline-flex;
	flex-wrap: wrap;
	align-items: center;
	gap: 6px 12px;
}

.signal-off .dot {
	background: transparent;
	border: 1.5px solid var(--off);
	box-shadow: none;
}

.doc-card .muted {
	font-size: 13px;
	line-height: 1.45;
}

.table td.row-title {
	white-space: normal;
	min-width: 280px;
}

.prose sup.cite {
	margin-left: 1px;
	font-family: var(--mono);
	font-size: 10px;
	line-height: 0;
	letter-spacing: 0;
}

.prose sup.cite a {
	text-decoration: none;
}

.prose tr[id^="src-"] {
	scroll-margin-top: 30vh;
}

.prose tr:target td {
	background: var(--secondary);
}

.home-meta {
	margin: 18px 0 0;
}

.prose .steps-list {
	margin: 0 0 16px;
}

.prose .steps-list li + li {
	margin-top: 0;
}

.op-grid {
	display: grid;
	gap: 12px;
	margin: 0 0 16px;
}

.prose a.op-card {
	display: flex;
	flex-direction: column;
	gap: 6px;
	padding: 18px 18px 16px;
	background: var(--sunken);
	color: var(--text);
	transition: background 0.15s ease;
}

.prose a.op-card:hover {
	background: var(--secondary);
	text-decoration: none;
}

.op-card .op-id {
	font-family: var(--mono);
	font-size: 11px;
	letter-spacing: 0.04em;
	color: var(--muted);
}

.op-card strong {
	font-size: 16px;
	font-weight: 500;
	letter-spacing: -0.02em;
}

.op-card .op-car {
	font-size: 13px;
	line-height: 1.5;
}

.op-card .muted {
	font-size: 13px;
	line-height: 1.5;
}

.op-card .badges {
	margin-top: 6px;
}

@media (max-width: 860px) {
	.doc-nav {
		padding: 0;
	}

	.doc-nav-toggle {
		display: grid;
		grid-template-columns: minmax(0, 1fr) auto;
		align-items: center;
		gap: 2px 12px;
		width: 100%;
		padding: 12px 16px;
		border: 0;
		background: var(--page);
		font: inherit;
		text-align: left;
		color: var(--ink);
		cursor: pointer;
	}

	.doc-nav-toggle .caption {
		grid-column: 1;
		font-family: var(--mono);
		font-size: 11px;
		letter-spacing: 0.04em;
		text-transform: uppercase;
	}

	.doc-nav-toggle strong {
		grid-column: 1;
		font-weight: 500;
		overflow: hidden;
		text-overflow: ellipsis;
		white-space: nowrap;
	}

	.doc-nav-toggle .icon {
		grid-column: 2;
		grid-row: 1 / span 2;
		transition: transform 0.15s ease;
	}

	.doc-nav.is-open .doc-nav-toggle .icon {
		transform: rotate(180deg);
	}

	.doc-nav-list {
		display: none;
		padding: 0 6px 12px;
	}

	.doc-nav.is-open .doc-nav-list {
		display: block;
	}

	.doc-nav-list .nav-caption {
		display: block;
		margin: 14px 10px 4px;
	}

	.doc-layout-embed {
		grid-template-columns: minmax(0, 1fr);
	}

	.embed-layout {
		height: 85vh;
	}
}

.gate-form {
	display: flex;
	flex-direction: column;
	gap: 16px;
	width: 100%;
	text-align: left;
}

.gate-card .gate-form .gate-error {
	margin: 0;
}

.gate-form .button {
	margin-top: 6px;
}

.trace-monitor {
	width: min(720px, 86%);
}

.trace-monitor .pulse-caption {
	margin-left: 0;
}

.trace {
	display: block;
	width: 100%;
	height: auto;
	overflow: visible;
}

.trace-label {
	font-family: var(--mono);
	font-size: 10px;
	letter-spacing: 0.08em;
	text-transform: uppercase;
	fill: rgb(255 255 255 / 0.4);
}

.trace-edge {
	fill: none;
	stroke: rgb(255 255 255 / 0.45);
	stroke-width: 1.2;
}

.trace-node {
	fill: #000;
	stroke: rgb(255 255 255 / 0.85);
	stroke-width: 1.5;
}

.trace-lock {
	stroke: #ff6500;
	stroke-width: 2;
}

.trace-pending {
	stroke: rgb(255 255 255 / 0.5);
}

.trace-confirmed {
	fill: #ff6500;
}

.trace-halo {
	fill: rgb(255 101 0 / 0.18);
}

.trace-refuted {
	fill: #000;
	stroke: rgb(255 255 255 / 0.18);
	stroke-width: 1.5;
}

.trace-cross {
	stroke: rgb(255 255 255 / 0.5);
	stroke-width: 1.2;
}