/* Documentation uses the site's paper, reader and machine type voices. */
.docsLayout {
	display: grid;
	grid-template-columns: 200px minmax(0, 1fr);
	gap: 56px;
	padding-top: 44px;
	padding-bottom: 48px;
}

.docsSidebar nav {
	display: flex;
	flex-direction: column;
	gap: 9px;
	font-size: 0.88rem;
	max-height: calc(100svh - var(--nav-height) - 56px);
	overflow-y: auto;
	padding-right: 12px;
}

.docsMenu {
	position: sticky;
	top: calc(var(--nav-height) + 28px);
}

.docsSidebar .docsSubpage {
	padding-left: 14px;
	font-size: 0.82rem;
}

.docsMenu summary {
	font: 0.8rem var(--font-mono);
	color: var(--azure-deep);
	cursor: pointer;
	padding: 12px 0;
}

.docsMenuEnhanced>summary {
	display: none;
}

.docsSidebar a[aria-current] {
	color: var(--ink);
	font-weight: bold;
	text-decoration: underline;
}

.docsNavLabel,
.docsKicker {
	font-family: var(--font-mono);
	font-size: 0.7rem;
	letter-spacing: 0.06em;
	color: var(--ink-3);
}

.docsNavLabel {
	margin-top: 22px;
}

.docsContent {
	min-width: 0;
	max-width: 800px;
}

.docsHeader {
	margin-bottom: 36px;
}

.docsHeaderIllustrated {
	display: grid;
	grid-template-columns: 224px minmax(0, 1fr);
	align-items: center;
	gap: 28px;
}

.docsHeaderCopy {
	min-width: 0;
}

.docsOpening {
	display: block;
	grid-column: 1;
	grid-row: 1;
	width: 100%;
	height: auto;
}

.docsContent section,
.referenceEntry {
	scroll-margin-top: calc(var(--nav-height) + 24px);
}

.docsContent>section {
	margin-bottom: 40px;
}

.docsContent h2,
.docsContent h3,
.mangaPage {
	scroll-margin-top: calc(var(--nav-height) + 24px);
}

.docsContent h2 {
	margin-top: 40px;
}

.docsContent>header h1 {
	margin-top: 0;
}

.docsContent figure {
	margin: 24px 0;
}

.docsContent figure>img {
	display: block;
	max-width: 100%;
	height: auto;
	margin: 0 auto;
}

.docsContent figcaption {
	font-size: 0.84rem;
	line-height: 1.6;
	color: var(--ink-3);
}

.docsCode figcaption {
	font-family: var(--font-mono);
	font-size: 0.74rem;
}

.docsCode pre {
	margin-top: 8px;
}

.docsContent dl dt {
	margin-top: 20px;
	font-weight: bold;
}

.docsContent dl dd {
	margin: 6px 0 16px;
}

.docsModelSource {
	border-top: 1px solid var(--line);
	padding: 16px 0;
	scroll-margin-top: calc(var(--nav-height) + 24px);
}

.docsModelSource summary {
	color: var(--azure-deep);
	cursor: pointer;
}

.docsContent math[display="block"] {
	overflow-x: auto;
	padding: 12px 0;
}

.docsContent .csl-entry {
	font-size: 0.86rem;
	margin: 12px 0;
	overflow-wrap: anywhere;
}

.docsContent .footnotes {
	font-size: 0.86rem;
}

.referenceEntry>p.docsSmall {
	grid-column: 1 / -1;
}

.docsPager {
	display: flex;
	justify-content: space-between;
	gap: 28px;
	margin-top: 48px;
	padding-top: 24px;
	border-top: 1px solid var(--line);
}

.docsPager a {
	max-width: 48%;
}

.docsPager a[rel="next"] {
	margin-left: auto;
	text-align: right;
}

.docsPager span {
	display: block;
	margin-bottom: 6px;
	font: 0.7rem var(--font-mono);
	color: var(--ink-3);
}

.docsStudyList {
	padding-left: 26px;
}

.docsStudyList li {
	padding: 0 0 16px 8px;
}

.docsDiagramDetails {
	border: 1px solid var(--line);
	border-radius: var(--radius);
	padding: 14px 18px;
	background: var(--surface);
}

.docsDiagramDetails summary {
	cursor: pointer;
	color: var(--azure-deep);
}

/* The diagram itself is styled by diagram.css. It is drawn at its natural
   size and only ever scaled down to the column. */
.docsDiagram {
	margin: 20px auto;
	text-align: center;
}

.docsDiagram .vpDiagram {
	--dg-bg: var(--surface);
	display: inline-block;
	max-width: 100%;
	height: auto;
}

/* Each connection names both key pairs and the secret they derive. */
.x3dhDiagram {
	padding: 24px 28px 12px;
	border: 1px solid var(--line);
	border-radius: var(--radius);
	background: var(--surface);
}

.docsContent .x3dhTable {
	table-layout: fixed;
}

.docsContent .x3dhTable th,
.docsContent .x3dhTable td {
	padding: 16px 0;
	border: 0;
	text-align: center;
	vertical-align: middle;
}

.docsContent .x3dhTable thead th {
	padding: 0 0 16px;
	border-bottom: 1px solid var(--line);
	font: 1.4rem var(--font-serif);
}

.docsContent .x3dhTable thead th:nth-child(2) {
	width: 40%;
	font: 0.7rem var(--font-mono);
	color: var(--ink-3);
}

.x3dhKey {
	font: 1.15rem var(--font-mono);
}

.x3dhKeyKind {
	display: block;
	margin-top: 4px;
	font-size: 0.75rem;
	line-height: 1.4;
	color: var(--ink-3);
}

.x3dhSecret {
	position: relative;
}

.x3dhSecret::before {
	content: "";
	position: absolute;
	top: 50%;
	left: 0;
	right: 0;
	border-top: 1px solid var(--ink-4);
}

.x3dhSecretLabel {
	position: relative;
	display: inline-block;
	min-width: 64px;
	padding: 8px 10px;
	border: 1px solid var(--line);
	border-radius: var(--radius);
	background: var(--surface-2);
	font: 0.95rem var(--font-mono);
	line-height: 1.4;
}

.x3dhSecretLabel small {
	display: block;
	margin-top: 2px;
	font-size: 0.6rem;
	color: var(--ink-3);
}

.x3dhOptional .x3dhSecret::before {
	border-top-style: dashed;
}

.x3dhOptional .x3dhSecretLabel {
	border-style: dashed;
}

.x3dhFigure figcaption {
	margin-top: 14px;
}

/* Let the original page carry the reader; controls sit below the artwork. */
.mangaReader {
	width: min(100%, calc(66.7svh - 108px));
	margin: 28px auto 0;
	scroll-margin-top: calc(var(--nav-height) + 24px);
}

.mangaControls[hidden],
.mangaPage[hidden],
.mangaTranscript[hidden] {
	display: none;
}

.mangaPages {
	touch-action: pan-y pinch-zoom;
}

.docsContent .mangaPage {
	margin: 0 0 32px;
}

.mangaEnhanced .mangaPage {
	margin-bottom: 0;
}

.mangaPage>img {
	width: 100%;
	border: 1px solid var(--line);
	background: #fff;
}

.mangaPage>figcaption {
	text-align: center;
	margin-top: 10px;
	font: 0.72rem var(--font-mono);
}

.mangaEnhanced:not(.mangaContinuous) .mangaPage>figcaption {
	display: none;
}

.mangaControls,
.mangaPaging,
.mangaOptions {
	display: flex;
	align-items: center;
}

.mangaControls {
	justify-content: space-between;
	gap: 8px 16px;
	padding: 8px 0;
}

.mangaPaging {
	gap: 2px;
}

.mangaOptions {
	gap: 16px;
	font-size: 0.78rem;
}

.mangaControls button,
.mangaControls select {
	min-height: 44px;
	border: 0;
	border-radius: var(--radius);
	background: transparent;
	color: var(--azure-deep);
	cursor: pointer;
}

.mangaPaging button {
	display: grid;
	place-items: center;
	width: 44px;
	padding: 0;
}

.mangaPaging svg {
	fill: none;
	stroke: currentColor;
	stroke-width: 1.5;
	stroke-linecap: round;
	stroke-linejoin: round;
}

.mangaPaging select {
	font: 0.76rem var(--font-mono);
	padding: 0 4px;
	color: var(--ink-2);
}

.mangaOptions button {
	padding: 0;
	font: inherit;
}

.mangaControls button:hover:not(:disabled),
.mangaControls select:hover {
	background: var(--azure-tint);
}

.mangaOptions button[aria-pressed="true"] {
	text-decoration: underline;
	text-underline-offset: 4px;
}

.mangaControls button:disabled {
	color: var(--ink-4);
	cursor: default;
}

.mangaContinuous {
	width: 100%;
}

.mangaContinuous .mangaPage {
	margin-bottom: 32px;
}

.mangaTranscript {
	border-top: 1px solid var(--line);
	font-size: 0.86rem;
	line-height: 1.7;
}

.mangaTranscript summary {
	padding: 12px 0;
	color: var(--ink-3);
	font-size: 0.78rem;
	cursor: pointer;
}

.mangaHint {
	text-align: center;
	font-size: 0.75rem;
	color: var(--ink-3);
}

.docsSupporters {
	display: flex;
	align-items: center;
	gap: 28px;
	margin: 28px 0;
}

.docsSupporters img {
	width: 180px;
	max-width: 40%;
	height: auto;
	background: #fff;
	padding: 12px;
}

.docsSignature {
	font-family: var(--font-serif);
	font-style: italic;
	text-align: right;
}

.honorWall {
	border: 1px solid var(--line);
	padding: 32px;
	text-align: center;
	background: var(--surface);
}

.honorWall>p {
	margin-inline: auto;
}

.honorWall>.docsKicker {
	max-width: none;
	margin-bottom: 0;
}

.honorWall h2 {
	margin-top: 12px;
}

.honorPortrait {
	display: block;
	width: 460px;
	max-width: 100%;
	height: auto;
	margin: 28px auto;
}

.honorNames {
	list-style: none;
	margin: 0 0 24px;
	padding: 24px 0;
	columns: 2;
	column-gap: 24px;
	border-top: 1px solid var(--line);
	border-bottom: 1px solid var(--line);
}

.honorNames li {
	break-inside: avoid;
	margin: 0 0 12px;
	font-size: 0.95rem;
}

.honorNames small {
	font-size: 0.75rem;
	font-style: italic;
	color: var(--ink-3);
}

.visuallyHidden {
	position: absolute;
	width: 1px;
	height: 1px;
	padding: 0;
	margin: -1px;
	overflow: hidden;
	clip-path: inset(50%);
	white-space: nowrap;
	border: 0;
}

.docsContent a:not(.btn) {
	text-decoration: underline;
	overflow-wrap: anywhere;
}

.docsMath {
	display: inline-block;
	max-width: 100%;
	overflow-x: auto;
	vertical-align: middle;
}

.docsActions {
	display: flex;
	flex-wrap: wrap;
	align-items: center;
	gap: 12px 20px;
	margin: 20px 0;
}

.docsSmall {
	font-size: 0.86rem;
	color: var(--ink-3);
}

.docsStory {
	max-width: 620px;
	margin: 24px auto 32px;
}

.docsStory img {
	display: block;
	width: 100%;
	height: auto;
}

.docsStory figcaption {
	max-width: 65ch;
	margin: 12px auto 0;
	font-size: 0.86rem;
	line-height: 1.6;
	color: var(--ink-3);
}

.docsContent pre {
	margin: 18px 0;
	white-space: pre;
}

.docsContent pre code {
	margin: 0;
	font-size: 0.82rem;
	tab-size: 4;
}

.docsContent .vp-keyword,
.docsContent .vp-literal,
.docsContent .vp-principal {
	color: var(--ink);
	font-weight: bold;
}

.docsContent .vp-builtin,
.docsContent .vp-arrow,
.docsContent .vp-guard,
.docsContent .vp-query {
	color: var(--azure-deep);
}

.docsContent .vp-comment,
.docsContent .vp-qualifier,
.docsContent .vp-nil {
	color: var(--ink-3);
}

.docsContent .vp-capability {
	color: var(--sienna);
}

.docsCodeHead {
	display: flex;
	justify-content: space-between;
	align-items: center;
	gap: 12px;
	font: 0.72rem var(--font-mono);
	color: var(--ink-3);
}

.docsCodeHead+pre {
	margin-top: 8px;
}

.docsCopy {
	font: inherit;
	color: var(--azure-deep);
	background: var(--surface);
	border: 1px solid var(--control-line);
	border-radius: var(--radius);
	padding: 8px 12px;
	cursor: pointer;
}

.docsDefinitions {
	margin: 24px 0;
}

.docsDefinitions dt {
	margin-top: 16px;
}

.docsDefinitions dd {
	margin: 6px 0 0;
}

.docsNote {
	padding: 18px 20px;
	border: 1px solid var(--line);
	background: var(--surface-2);
	border-radius: var(--radius);
}

.docsSteps {
	padding-left: 24px;
}

.docsSteps li {
	padding-left: 6px;
	margin: 10px 0;
}

.docsTableWrap {
	overflow-x: auto;
	margin: 24px 0;
}

.docsContent table {
	border-collapse: collapse;
	width: 100%;
	font-size: 0.88rem;
	background: var(--surface);
}

.docsContent caption {
	text-align: left;
	margin-bottom: 10px;
	color: var(--ink-3);
}

.docsContent th,
.docsContent td {
	text-align: left;
	vertical-align: top;
	padding: 12px;
	border-bottom: 1px solid var(--line);
}

.docsContent th[scope="row"] {
	font-weight: normal;
}

.docsPass {
	color: var(--olive-deep);
}

.docsFail {
	color: var(--breach-deep);
}

/* HTML labels keep the tradeoff diagram readable and linkable at every size. */
.comparisonFigure {
	margin: 28px 0;
}

.comparisonTriangle {
	position: relative;
	height: 460px;
	font-size: 0.88rem;
	line-height: 1.45;
}

.comparisonTriangle svg {
	position: absolute;
	width: 100%;
	height: 100%;
	fill: none;
	stroke: var(--line);
	stroke-width: 2;
}

.triangleVertex,
.triangleApproach,
.triangleCenter {
	position: absolute;
	text-align: center;
	background: var(--paper);
	padding: 8px;
	margin: 0;
}

.triangleVertex {
	width: 28%;
}

.triangleVertex strong {
	display: block;
	font: 1.5rem var(--font-serif);
	margin-bottom: 4px;
}

.triangleVertex span,
.triangleApproach span,
.triangleApproach small {
	display: block;
}

.triangleVertex span,
.triangleApproach small {
	font-size: 0.78rem;
	color: var(--ink-3);
}

.triangleUnbounded {
	left: 36%;
	top: 0;
}

.triangleTerminating {
	left: 0;
	bottom: 0;
}

.triangleExact {
	right: 0;
	bottom: 0;
}

.triangleApproach {
	width: 36%;
}

.triangleApproach a {
	display: inline-block;
	font-family: var(--font-mono);
	font-weight: bold;
	margin-bottom: 5px;
}

.triangleApproach small {
	margin-top: 5px;
}

.triangleProverif {
	left: 0;
	top: 29%;
}

.triangleTamarin {
	right: 0;
	top: 29%;
}

.triangleVerifpal {
	left: 32%;
	bottom: 28px;
}

.comparisonTriangle .triangleCenter {
	left: 36%;
	top: 55%;
	width: 28%;
	font-size: 0.8rem;
	color: var(--ink-3);
}

.comparisonFigure figcaption {
	margin-top: 16px;
	font-size: 0.86rem;
	color: var(--ink-3);
}

.comparisonTable table {
	min-width: 680px;
}

.comparisonTable th:first-child {
	width: 19%;
}

.comparisonTable td {
	width: 27%;
}

.docsContent h3[id] {
	scroll-margin-top: calc(var(--nav-height) + 24px);
}

.referenceSearch {
	display: grid;
	grid-template-columns: minmax(0, 1fr) auto auto;
	gap: 12px;
	align-items: end;
	padding: 20px;
	margin-bottom: 24px;
	background: var(--surface);
	border: 1px solid var(--line);
	border-radius: var(--radius);
}

.referenceSearch label {
	display: block;
	font-size: 0.82rem;
	margin-bottom: 6px;
}

.referenceSearch input,
.referenceSearch select {
	width: 100%;
	min-width: 0;
	font: inherit;
	font-size: 0.9rem;
	color: var(--ink);
	background: var(--paper);
	border: 1px solid var(--control-line);
	border-radius: var(--radius);
	padding: 10px;
}

.referenceSearch input::placeholder {
	color: var(--ink-3);
	opacity: 1;
}

.referenceSearch .docsSmall {
	grid-column: 1 / -1;
	margin: 0;
}

.referenceEntry {
	border-top: 1px solid var(--line);
	padding: 22px 0 14px;
}

.referenceEntry:has(> .referenceIllustration) {
	display: grid;
	grid-template-columns: 208px minmax(0, 1fr);
	align-items: center;
	gap: 28px;
}

.referenceEntry h3 {
	margin-top: 0;
}

.referenceEntry h3 a {
	color: var(--ink);
	text-decoration: none !important;
}

.referenceEntry h3 a:hover {
	text-decoration: underline !important;
}

.referenceCopy {
	min-width: 0;
}

.referenceIllustration {
	display: block;
	grid-column: 1;
	grid-row: 1;
	width: 100%;
	height: auto;
	aspect-ratio: 1;
}

.referenceFacts {
	display: flex;
	flex-wrap: wrap;
	gap: 6px 12px;
	font-family: var(--font-mono);
	font-size: 0.7rem;
	margin: 0 0 16px;
}

.referenceFacts dt {
	color: var(--ink-3);
}

.referenceFacts dd {
	margin: 0 12px 0 0;
}

.docsLayout [hidden] {
	display: none !important;
}

.skipLink {
	position: fixed;
	top: -100px;
	left: 16px;
	z-index: 100;
	padding: 10px 16px;
	background: var(--surface);
}

.skipLink:focus {
	top: 8px;
}