/* Generated by build/knowledger/site.mjs in the Knowledger repository. Do not edit: change the design system there and run the script again. */

/* Sizes: the design system's ramps (the --vscode-* variables they alias do not exist here, so
   their fallbacks apply). */
:root {
	/* ---- size tokens (with fallbacks for hosts that predate the ramp) ---- */
	--s2: var(--vscode-spacing-size20, 2px);
	--s4: var(--vscode-spacing-size40, 4px);
	--s6: var(--vscode-spacing-size60, 6px);
	--s8: var(--vscode-spacing-size80, 8px);
	--s10: var(--vscode-spacing-size100, 10px);
	--s12: var(--vscode-spacing-size120, 12px);
	--s16: var(--vscode-spacing-size160, 16px);
	--s20: var(--vscode-spacing-size200, 20px);
	--s24: var(--vscode-spacing-size240, 24px);
	--s32: var(--vscode-spacing-size320, 32px);

	--r-xs: var(--vscode-cornerRadius-xSmall, 2px);
	--r-control: var(--vscode-cornerRadius-small, 4px);
	--r-inner: var(--vscode-cornerRadius-medium, 6px);
	--r-overlay: var(--vscode-cornerRadius-large, 8px);
	--r-pill: var(--vscode-cornerRadius-circle, 9999px);

	--fs-h2: var(--vscode-fontSize-heading2, 18px);
	--fs-h3: var(--vscode-fontSize-heading3, 13px);
	--fs-body1: var(--vscode-fontSize-body1, 13px);
	--fs-body2: var(--vscode-fontSize-body2, 11px);
	--fs-label1: var(--vscode-fontSize-label1, 12px);
	--fs-label2: var(--vscode-fontSize-label2, 11px);
	--fs-label3: var(--vscode-fontSize-label3, 10px);
	/* Code follows the editor's font size, like the workbench's own code blocks. */
	--fs-code: var(--vscode-editor-font-size, 12px);
	--fw-regular: var(--vscode-fontWeight-regular, 400);
	--fw-strong: var(--vscode-fontWeight-semiBold, 600);

	--icon: var(--vscode-codiconFontSize, 16px);
	--icon-compact: var(--vscode-codiconFontSize-compact, 12px);
	--stroke: var(--vscode-strokeThickness, 1px);

	--font-sans: var(--vscode-font-family, system-ui, -apple-system, "Segoe UI", sans-serif);
	--font-mono: var(--vscode-editor-font-family, ui-monospace, "Cascadia Code", Consolas, monospace);


	/* Knowledger identity: the K mark only (Vermilion). Everything else is the theme's. */
	--knowledger-vermilion: #d13a1a;
	--knowledger-vermilion-light: #f26a4a;
}

/* Colours: the Knowledger light palette, and the dark one when the visitor's system is dark. */
:root {
	color-scheme: light dark;
	--background: #ffffff; --foreground: #1f2328; --muted-foreground: #59636e;
	--border: #d1d9e0; --separator: #e5e9ee; --accent: #eef1f4;
	--row-hover: #f2f4f7; --row-selected: #fdebe6; --row-selected-fg: #1f2328; --row-active: #c03516; --row-active-fg: #ffffff;
	--card: #f6f8fa; --popover: #ffffff; --popover-border: #d1d9e0; --shadow: rgba(31, 35, 40, 0.16);
	--input: #ffffff; --input-fg: #1f2328; --input-border: #d1d9e0; --placeholder: #818b98;
	--focus: #c03516; --primary: #c03516; --primary-foreground: #ffffff; --primary-hover: #a82e12;
	--secondary: #eef1f4; --secondary-foreground: #1f2328; --secondary-hover: #e3e7ec;
	--link: #b23013; --link-active: #962810; --badge: #c03516; --badge-foreground: #ffffff;
	--toggle-on: #fdebe6; --toggle-on-border: #c03516; --toggle-on-fg: #b23013;
	--request: #f6f8fa; --request-border: #d1d9e0;
	--code-bg: #f6f8fa; --code-fg: #1f2328;
	--ok: #1a7f37; --warn: #9a6700; --err: #cf222e; --info: #1738dd; --important: #8250df; --quote-border: #d1d9e0;
	--warn-bg: #fff8c5; --warn-border: #d4a72c; --err-bg: #ffebe9; --err-border: #ff8182;
	--diff-add: #1a7f37; --diff-del: #cf222e;
	--syn-comment: #59636e; --syn-string: #0a3069; --syn-keyword: #cf222e; --syn-number: #0550ae;
	--syn-function: #8250df; --syn-type: #953800;
	--scrollbar: rgba(100, 100, 100, 0.25); --scrollbar-hover: rgba(100, 100, 100, 0.4); --scroll-shadow: rgba(31, 35, 40, 0.12);
	--logo: var(--knowledger-vermilion);
}
@media (prefers-color-scheme: dark) {
	:root {
		color-scheme: dark;
		--background: #0e0f12; --foreground: #e6e7ea; --muted-foreground: #9aa0aa;
		--border: #2a2d33; --separator: #1f2126; --accent: #1c1e23;
		--row-hover: #1a1c21; --row-selected: #3a1f19; --row-selected-fg: #e6e7ea; --row-active: #7a2b1c; --row-active-fg: #ffffff;
		--card: #15171b; --popover: #17191e; --popover-border: #2a2d33; --shadow: rgba(0, 0, 0, 0.55);
		--input: #15171b; --input-fg: #e6e7ea; --input-border: #2a2d33; --placeholder: #6e7480;
		--focus: #f26a4a; --primary: #f26a4a; --primary-foreground: #0e0f12; --primary-hover: #f5856a;
		--secondary: #23262c; --secondary-foreground: #e6e7ea; --secondary-hover: #2c3037;
		--link: #ff8a6e; --link-active: #ffa48e; --badge: #f26a4a; --badge-foreground: #0e0f12;
		--toggle-on: #3a1f19; --toggle-on-border: #f26a4a; --toggle-on-fg: #ffc3b3;
		--request: #15171b; --request-border: #2a2d33;
		--code-bg: #121317; --code-fg: #e6e7ea;
		--ok: #3fb950; --warn: #d29922; --err: #f85149; --info: #6b8aff; --important: #bc8cff; --quote-border: #2a2d33;
		--warn-bg: rgba(210, 153, 34, 0.12); --warn-border: rgba(210, 153, 34, 0.45);
		--err-bg: rgba(248, 81, 73, 0.12); --err-border: rgba(248, 81, 73, 0.45);
		--diff-add: #3fb950; --diff-del: #f85149;
		--syn-comment: #7d8590; --syn-string: #a5d6ff; --syn-keyword: #ff7b72; --syn-number: #79c0ff;
		--syn-function: #d2a8ff; --syn-type: #ffa657;
		--scrollbar: rgba(121, 121, 121, 0.3); --scrollbar-hover: rgba(121, 121, 121, 0.5); --scroll-shadow: rgba(0, 0, 0, 0.5);
		--logo: var(--knowledger-vermilion-light);
	}
}
:root {
	/* A solid structural fill between the card and the text: bars and rails that carry
	other parts (a simulator bus, a progress track) and must not outshine them. */
	--fill-strong: color-mix(in srgb, var(--foreground) 30%, var(--background));
}

/* Knowledger's website. Colours, radii, spacing steps and weights come from the design system
   (design/tokens.css, served in front of this file): this file holds only the site's layout and
   its type scale, which is larger than the app's, and never defines a colour. */

:root {
	--site-width: 72rem;
	--site-gutter: clamp(1rem, 4vw, 2rem);
	--header-height: 3.75rem;
	--section-space: clamp(3.5rem, 2rem + 6vw, 6rem);

	--text-small: 0.875rem;
	--text-lead: clamp(1.0625rem, 1rem + 0.35vw, 1.25rem);
	--text-h3: 1.0625rem;
	--text-h2: clamp(1.5rem, 1.2rem + 1.2vw, 2rem);
	--text-h1: clamp(2.125rem, 1.4rem + 3vw, 3.5rem);
}

/* ---- base ---------------------------------------------------------------------------------- */

*, *::before, *::after {
	box-sizing: border-box;
}

html {
	-webkit-text-size-adjust: 100%;
	text-size-adjust: 100%;
	background: var(--background);
	color: var(--foreground);
	font-family: var(--font-sans);
	line-height: 1.6;
	scroll-padding-top: calc(var(--header-height) + var(--s16));
}

@media (prefers-reduced-motion: no-preference) {
	html {
		scroll-behavior: smooth;
	}
}

body {
	margin: 0;
	min-height: 100vh;
	display: flex;
	flex-direction: column;
	-webkit-font-smoothing: antialiased;
	-moz-osx-font-smoothing: grayscale;
}

main {
	flex: 1;
}

h1, h2, h3 {
	margin: 0;
	font-weight: var(--fw-strong);
	line-height: 1.2;
	text-wrap: balance;
}

p {
	margin: 0;
	text-wrap: pretty;
}

img {
	display: block;
	max-width: 100%;
	height: auto;
}

a {
	color: var(--link);
	text-decoration-thickness: from-font;
	text-underline-offset: 0.15em;
}

a:hover {
	color: var(--link-active);
}

:focus-visible {
	outline: 2px solid var(--focus);
	outline-offset: 2px;
	border-radius: var(--r-control);
}

::selection {
	background: var(--row-selected);
	color: var(--row-selected-fg);
}

.wrap {
	width: 100%;
	max-width: var(--site-width);
	margin-inline: auto;
	padding-inline: var(--site-gutter);
}

.narrow {
	max-width: 48rem;
}

.icon {
	flex: none;
	width: 1.5rem;
	height: 1.5rem;
	color: var(--primary);
}

.lead {
	margin-top: var(--s20);
	max-width: 38rem;
	color: var(--muted-foreground);
	font-size: var(--text-lead);
}

.skip {
	position: absolute;
	top: var(--s8);
	left: var(--s16);
	z-index: 20;
	padding: var(--s8) var(--s12);
	border-radius: var(--r-control);
	background: var(--primary);
	color: var(--primary-foreground);
	transform: translateY(-200%);
}

.skip:focus {
	transform: none;
}

/* ---- header -------------------------------------------------------------------------------- */

.site-header {
	position: sticky;
	top: 0;
	z-index: 10;
	border-bottom: var(--stroke) solid var(--separator);
	background: var(--background);
}

.site-header__bar {
	display: flex;
	align-items: center;
	justify-content: space-between;
	gap: var(--s16);
	min-height: var(--header-height);
}

.brand {
	display: inline-flex;
	align-items: center;
	gap: var(--s8);
	color: var(--foreground);
	font-weight: var(--fw-strong);
	letter-spacing: -0.01em;
	text-decoration: none;
}

.brand:hover {
	color: var(--foreground);
}

.site-nav {
	display: flex;
	align-items: center;
	gap: var(--s4);
}

.site-nav a {
	padding: var(--s6) var(--s10);
	border-radius: var(--r-control);
	color: var(--muted-foreground);
	font-size: var(--text-small);
	text-decoration: none;
}

.site-nav a:hover {
	background: var(--accent);
	color: var(--foreground);
}

.site-nav .site-nav__lang {
	margin-left: var(--s8);
	border: var(--stroke) solid var(--border);
}

@media (max-width: 40rem) {
	.site-nav__section {
		display: none;
	}
}

/* ---- landing page -------------------------------------------------------------------------- */

.hero {
	padding-block: clamp(3rem, 2rem + 5vw, 5.5rem) var(--section-space);
}

.hero__grid {
	display: grid;
	gap: clamp(2.5rem, 5vw, 4rem);
	align-items: center;
}

@media (min-width: 60rem) {
	.hero__grid {
		grid-template-columns: minmax(0, 5fr) minmax(0, 7fr);
	}
}

.hero h1 {
	font-size: var(--text-h1);
	line-height: 1.08;
	letter-spacing: -0.025em;
}

.hero__note {
	margin-top: var(--s24);
	color: var(--muted-foreground);
	font-size: var(--text-small);
}

.hero__shot {
	margin: 0;
}

.hero__shot img {
	width: 100%;
	border: var(--stroke) solid var(--border);
	border-radius: var(--r-overlay);
	box-shadow: 0 1.5rem 3rem -1.5rem var(--shadow);
}

.hero__shot .hero__icon {
	width: min(18rem, 60vw);
	margin-inline: auto;
	border: 0;
	box-shadow: none;
}

.status {
	display: inline-flex;
	align-items: center;
	gap: var(--s8);
	margin-bottom: var(--s24);
	padding: var(--s4) var(--s12);
	border: var(--stroke) solid var(--border);
	border-radius: var(--r-pill);
	color: var(--muted-foreground);
	font-size: var(--text-small);
}

.status__dot {
	width: 0.5rem;
	height: 0.5rem;
	border-radius: var(--r-pill);
	background: var(--primary);
}

.section {
	padding-block: var(--section-space);
	border-top: var(--stroke) solid var(--separator);
}

.section h2 {
	font-size: var(--text-h2);
	letter-spacing: -0.015em;
}

.section__lead {
	margin-top: var(--s12);
	max-width: 40rem;
	color: var(--muted-foreground);
	font-size: var(--text-lead);
}

.features,
.subjects {
	display: grid;
	margin: 3rem 0 0;
	padding: 0;
	list-style: none;
}

.features {
	gap: 2.5rem var(--s32);
	grid-template-columns: repeat(auto-fit, minmax(min(100%, 17rem), 1fr));
}

.subjects {
	gap: var(--s16);
	grid-template-columns: repeat(auto-fit, minmax(min(100%, 15rem), 1fr));
}

.subject,
.compare__col {
	padding: var(--s24);
	border: var(--stroke) solid var(--border);
	border-radius: var(--r-inner);
	background: var(--card);
}

.features h3,
.subject h3 {
	margin-top: var(--s12);
	font-size: var(--text-h3);
}

.features p,
.subject p {
	margin-top: var(--s6);
	color: var(--muted-foreground);
}

.split {
	display: grid;
	gap: 2.5rem;
}

@media (min-width: 60rem) {
	.split {
		grid-template-columns: minmax(0, 5fr) minmax(0, 7fr);
		align-items: start;
	}
}

.compare {
	display: grid;
	gap: var(--s16);
	grid-template-columns: repeat(auto-fit, minmax(min(100%, 15rem), 1fr));
}

.compare__col h3 {
	font-size: var(--text-h3);
}

.ticks {
	display: grid;
	gap: var(--s8);
	margin: var(--s16) 0 0;
	padding: 0;
	list-style: none;
}

.ticks li {
	position: relative;
	padding-left: 1.5rem;
	color: var(--muted-foreground);
}

.ticks li::before {
	content: "";
	position: absolute;
	top: 0.5em;
	left: 0.2rem;
	width: 0.55rem;
	height: 0.3rem;
	border-bottom: 2px solid var(--ok);
	border-left: 2px solid var(--ok);
	transform: rotate(-45deg);
}

.faq {
	margin-top: var(--s24);
	border-top: var(--stroke) solid var(--separator);
}

.faq details {
	border-bottom: var(--stroke) solid var(--separator);
}

.faq summary {
	display: flex;
	align-items: center;
	justify-content: space-between;
	gap: var(--s16);
	padding-block: var(--s16);
	font-weight: var(--fw-strong);
	list-style: none;
	cursor: pointer;
}

.faq summary::-webkit-details-marker {
	display: none;
}

.faq summary::after {
	content: "";
	flex: none;
	width: 0.5rem;
	height: 0.5rem;
	margin-right: var(--s4);
	border-right: 2px solid var(--muted-foreground);
	border-bottom: 2px solid var(--muted-foreground);
	transform: translateY(-25%) rotate(45deg);
}

.faq details[open] summary::after {
	transform: translateY(25%) rotate(-135deg);
}

.faq details p {
	max-width: 40rem;
	padding-bottom: var(--s16);
	color: var(--muted-foreground);
}

/* ---- documents ----------------------------------------------------------------------------- */

.doc {
	padding-block: clamp(2.5rem, 2rem + 3vw, 4rem) var(--section-space);
}

.doc__grid {
	display: grid;
	gap: 2.5rem;
}

@media (min-width: 64rem) {
	.doc__grid {
		grid-template-columns: minmax(0, 46rem) 15rem;
		justify-content: space-between;
	}

	.doc__toc {
		position: sticky;
		top: calc(var(--header-height) + var(--s24));
		align-self: start;
	}
}

@media (max-width: 63.99rem) {
	.doc__toc {
		order: -1;
		padding: var(--s16) var(--s20);
		border: var(--stroke) solid var(--border);
		border-radius: var(--r-inner);
		background: var(--card);
	}
}

.doc__header h1 {
	font-size: clamp(1.875rem, 1.5rem + 1.5vw, 2.5rem);
	letter-spacing: -0.02em;
}

.doc__updated {
	margin-top: var(--s8);
	color: var(--muted-foreground);
	font-size: var(--text-small);
}

.doc__toc {
	font-size: var(--text-small);
}

.doc__toc-title {
	margin-bottom: var(--s8);
	font-weight: var(--fw-strong);
}

.doc__toc ol {
	display: grid;
	gap: var(--s6);
	margin: 0;
	padding: 0;
	border-left: var(--stroke) solid var(--separator);
	list-style: none;
}

.doc__toc a {
	display: block;
	padding-left: var(--s12);
	color: var(--muted-foreground);
	text-decoration: none;
}

.doc__toc a:hover {
	color: var(--foreground);
}

.prose {
	margin-top: var(--s32);
}

.prose > * + * {
	margin-top: 1em;
}

.prose h2 {
	margin-top: 2.5rem;
	font-size: 1.375rem;
	letter-spacing: -0.01em;
}

.prose h3 {
	margin-top: 2rem;
	font-size: 1.125rem;
}

.prose ul,
.prose ol {
	padding-left: 1.5rem;
}

.prose li + li {
	margin-top: 0.35em;
}

.prose strong {
	font-weight: var(--fw-strong);
}

.prose code {
	padding: 0.1em 0.35em;
	border-radius: var(--r-xs);
	background: var(--code-bg);
	color: var(--code-fg);
	font-family: var(--font-mono);
	font-size: 0.9em;
}

.prose blockquote {
	margin: 0;
	padding-left: var(--s16);
	border-left: 3px solid var(--quote-border);
	color: var(--muted-foreground);
}

.prose table {
	display: block;
	overflow-x: auto;
	border-collapse: collapse;
	font-size: var(--text-small);
}

.prose th,
.prose td {
	padding: var(--s8) var(--s12);
	border: var(--stroke) solid var(--border);
	text-align: left;
	vertical-align: top;
}

.prose th {
	background: var(--card);
	font-weight: var(--fw-strong);
}

.prose hr {
	margin-block: 2rem;
	border: 0;
	border-top: var(--stroke) solid var(--separator);
}

/* ---- not found ----------------------------------------------------------------------------- */

.notfound {
	padding-block: var(--section-space);
}

.notfound h1 {
	font-size: var(--text-h2);
}

.notfound p + p {
	margin-top: var(--s24);
}

/* ---- footer -------------------------------------------------------------------------------- */

.site-footer {
	padding-block: 3rem 2rem;
	border-top: var(--stroke) solid var(--separator);
	color: var(--muted-foreground);
	font-size: var(--text-small);
}

.site-footer__grid,
.site-footer__fine {
	display: flex;
	flex-wrap: wrap;
	justify-content: space-between;
}

.site-footer__grid {
	gap: var(--s24);
}

.site-footer__about p {
	margin-top: var(--s8);
}

.site-footer__links {
	display: flex;
	flex-wrap: wrap;
	align-items: flex-start;
	gap: var(--s8) var(--s24);
}

.site-footer__links a {
	color: var(--muted-foreground);
	text-decoration: none;
}

.site-footer__links a:hover {
	color: var(--foreground);
	text-decoration: underline;
}

.site-footer__fine {
	gap: var(--s8) var(--s24);
	margin-top: 2rem;
}

@media print {
	.site-header,
	.site-footer,
	.doc__toc,
	.skip {
		display: none;
	}
}