/* SKIP */

.skip { position: absolute; top: var(--s2); left: var(--s2); z-index: 60; background: var(--panel); color: var(--fg); padding: var(--s2) var(--s4); border: var(--hair); border-radius: var(--r2); transform: translateY(-200%); }
.skip:focus { transform: none; }

/* HEADER */

.top, .dock { display: grid; grid-template-columns: var(--head) minmax(0, 1fr) var(--head); align-items: center; height: var(--head); padding-inline: max(0px, calc((100% - var(--frame)) / 2)); background: var(--bg); border-bottom: var(--hair); }
.dock { position: sticky; top: 0; z-index: 50; }
.top .glyph:first-child, .dock .glyph:first-child { grid-column: 1; }
.top .mark, .dock .route { grid-column: 2; }
.top .glyph:last-child, .dock .glyph:last-child { grid-column: 3; }
.top .glyph, .dock .glyph { width: var(--head); height: var(--head); display: grid; place-items: center; background: none; border: 0; border-radius: 0; padding: 0; color: var(--fg); }
.top .glyph:hover, .dock .glyph:hover { color: var(--accent); text-decoration: none; }
.top .glyph:focus-visible, .dock .glyph:focus-visible { outline-offset: -4px; }
.top .glyph svg, .dock .glyph svg { width: 1rem; height: 1rem; }
.top .dot { opacity: 0; transition: opacity var(--pace) var(--ease); }
.top .dot.on { opacity: 1; }
.top .mark { justify-self: center; display: flex; align-items: center; height: var(--head); min-width: 0; padding: 0 var(--s3); color: var(--fg); }
.top .mark:hover { color: var(--accent); text-decoration: none; }
.top .mark:focus-visible { outline-offset: -4px; }
.top .mark svg { height: 0.8rem; width: auto; max-width: 100%; }
.dock .glyph .ink { opacity: 0; transition: opacity var(--pace) var(--ease); transition-delay: calc((24 - var(--i)) * 8ms); }
html[data-left="open"] .glyph[data-pane="left"] .ink, html[data-right="open"] .glyph[data-pane="right"] .ink { opacity: 1; transition-delay: calc(var(--i) * 8ms); }
.dock .route { display: flex; justify-content: center; align-items: center; min-width: 0; height: var(--head); padding: 0 var(--s3); color: var(--dim); }
.dock .route svg { width: 100%; height: auto; max-height: 0.6rem; }
.glyphs { fill: currentColor; shape-rendering: crispEdges; display: block; }

/* PANES */

.panes { display: grid; grid-template-columns: minmax(0, 1fr); }
main { grid-column: 1; min-width: 0; width: 100%; max-width: var(--page); margin-inline: auto; padding: var(--s5) var(--s5) var(--s8); }
main:focus { outline: none; }
main:not(.wide) > .lede { max-width: var(--read); margin-inline: auto; }
.lede { margin-bottom: var(--s5); }
.pane { background: var(--bg); padding: var(--s3) var(--s2); font-size: 0.9rem; }
.pane h2, .pane h3 { font: 600 0.7rem/1 var(--sans); letter-spacing: 0.08em; text-transform: uppercase; color: var(--dim); padding: var(--s3) var(--s2) var(--s2); }
.pane section + section, .pane nav + section { border-top: var(--hair); margin-top: var(--s3); }
.scrim { position: fixed; inset: var(--head) 0 0; z-index: 30; background: var(--scrim); opacity: 0; visibility: hidden; transition: opacity var(--pace) var(--ease), visibility var(--pace); }

@media (max-width: 73.99rem) {
  .pane { position: fixed; top: var(--head); bottom: 0; z-index: 40; width: min(20rem, 88vw); overflow-y: auto; overscroll-behavior: contain; visibility: hidden; transition: transform var(--pace) var(--ease), visibility var(--pace); }
  .pane.left { left: 0; border-right: var(--hair); transform: translateX(-100%); }
  .pane.right { right: 0; border-left: var(--hair); transform: translateX(100%); }
  html[data-left="open"] .pane.left, html[data-right="open"] .pane.right { transform: none; visibility: visible; }
  html[data-left="open"] .scrim, html[data-right="open"] .scrim { opacity: 1; visibility: visible; }
}

@media (min-width: 74rem) {
  .panes { grid-template-columns: var(--pane) minmax(0, 1fr) var(--pane); max-width: var(--frame); margin-inline: auto; align-items: start; }
  .pane { position: sticky; top: var(--head); max-height: calc(100dvh - var(--head)); overflow-y: auto; overscroll-behavior: contain; }
  .pane.left { grid-column: 1; border-right: var(--hair); }
  main { grid-column: 2; }
  .pane.right { grid-column: 3; border-left: var(--hair); }
  .scrim { display: none; }
  .dock .glyph { visibility: hidden; }
}

@media (max-width: 40rem) {
  main { padding: var(--s4) var(--s4) var(--s7); }
  .top .mark svg { height: 0.6rem; }
  .dock .route svg { max-height: 0.5rem; }
}

/* TREE */

.tree, .tree ul { list-style: none; padding: 0; }
.tree ul { margin-left: var(--s2); padding-left: var(--s2); border-left: var(--hair); }
.tree a, .tree summary { display: flex; align-items: center; gap: var(--s2); min-height: 2rem; padding: var(--s1) var(--s2); border-radius: var(--r2); color: var(--dim); overflow-wrap: anywhere; }
.tree a:hover, .tree summary:hover { background: var(--panel); color: var(--fg); text-decoration: none; }
.tree a[aria-current], .tree summary:has(> a[aria-current]) { color: var(--accent); font-weight: 600; background: color-mix(in srgb, var(--accent) 10%, transparent); }
.tree .si { flex: none; width: 1.1em; text-align: center; font-size: 0.95em; }
.tree .name { min-width: 0; overflow: hidden; text-overflow: ellipsis; white-space: nowrap; }
.tree summary { cursor: pointer; list-style: none; user-select: none; }
.tree summary::-webkit-details-marker { display: none; }
.tree summary::before { content: ""; flex: none; width: 0.4em; height: 0.4em; margin: 0 0.3em; border-right: 1.5px solid currentColor; border-bottom: 1.5px solid currentColor; transform: rotate(-45deg); transition: transform var(--pace) var(--ease); }
.tree details[open] > summary::before { transform: rotate(45deg); }
.tree summary a { padding: 0; min-height: 0; flex: 1; border-radius: 0; }
.tree summary a:hover { background: none; }
.tree summary a[aria-current] { background: none; }
.tree ul:empty { display: none; }

/* CONTENTS */

.contents ol { list-style: none; padding: 0; }
.contents a { display: block; padding: var(--s1) var(--s3); min-height: 2rem; color: var(--dim); border-left: 2px solid transparent; overflow-wrap: anywhere; }
.contents li.h3 a { padding-left: var(--s6); font-size: 0.85rem; }
.contents a:hover { color: var(--fg); text-decoration: none; }
.contents a[aria-current] { color: var(--fg); border-left-color: var(--accent); }

/* SETTINGS */

.settings .row { flex-direction: column; align-items: stretch; gap: var(--s2); margin: 0; padding: 0 var(--s2); }
.settings .theme { width: 100%; justify-content: space-between; }
.settings .theme b { font-weight: 500; color: var(--dim); text-transform: capitalize; }
.settings .pick { display: flex; justify-content: space-between; align-items: center; min-height: 2.25rem; padding: 0 var(--s2) 0 var(--s4); border: var(--hair); border-radius: var(--r2); background: var(--panel); color: var(--fg); font: 14px var(--sans); }
.settings .pick select { border: 0; background: none; padding: 0 var(--s2); min-height: 2rem; font: 14px var(--sans); color: var(--dim); text-align: right; }

/* MENU */

.menu { display: grid; gap: var(--s7); }
.menu section > h2 { border-bottom: var(--hair); padding-bottom: var(--s2); margin-bottom: var(--s4); }
.menu h2 a, .menu h3 a { color: inherit; }
.menu .shelf { margin-top: var(--s5); }
.menu .shelf h3 { color: var(--dim); margin-bottom: var(--s3); }

/* GRID */

.gallery.grid { grid-template-columns: repeat(auto-fill, minmax(12rem, 1fr)); gap: var(--s3); }
.grid .tile { padding: var(--s3); }
.grid .tile img { aspect-ratio: 1; image-rendering: auto; }
.grid .tile h2 { font-size: 0.95rem; margin: var(--s2) 0 0; }
.grid .tile p { font-size: 12px; margin-top: var(--s1); }
.grid .tile .dates { display: flex; flex-wrap: wrap; gap: var(--s2) var(--s3); color: var(--dim); font: 11px var(--mono); margin-top: var(--s2); }
.grid .tile.plain { display: grid; align-content: center; min-height: 6rem; text-align: center; }

/* FOOTER */

.base { position: relative; min-height: 100dvh; display: grid; align-content: center; justify-items: center; padding: var(--s7) var(--s4) var(--s8); border-top: var(--hair); text-align: center; color: var(--fg); }
.base > a { display: block; width: 100%; color: var(--fg); }
.base .mark { width: 100%; height: auto; image-rendering: pixelated; display: block; }
.base .still { width: 100%; height: auto; display: block; }
html.js .base .still { display: none; }
html:not(.js) .base .mark { display: none; }
:root[data-saver] .base .mark { position: absolute; inset: 0; width: 100%; height: 100%; image-rendering: auto; pointer-events: none; }
.legal { position: absolute; left: 0; right: 0; bottom: 2px; margin: 0; font-size: 11px; line-height: 1.4; }

/* CONTROLS */

.controls { padding: 0 var(--s2); }
.controls .row { flex-direction: column; align-items: stretch; gap: var(--s3); }
.controls label { display: flex; flex-wrap: wrap; align-items: center; min-width: 0; max-width: 100%; }
.controls input[type=range], .controls input.wide { width: 100%; min-width: 0; }
.controls select, .controls input[type=text], .controls input[type=number] { flex: 1 1 8ch; min-width: 0; max-width: 100%; }
.controls button, .controls .tabs, .controls .cards { max-width: 100%; }
.controls button { white-space: normal; }
.set[hidden] { display: none; }
.row { display: flex; gap: var(--s3) var(--s5); flex-wrap: wrap; align-items: center; margin: var(--s3) 0; }
.set { display: contents; }
label { color: var(--dim); font-size: 13px; display: inline-flex; gap: var(--s2); align-items: center; }
input[type=range] { width: 150px; accent-color: var(--accent); }
input[type=checkbox] { accent-color: var(--accent); width: 1rem; height: 1rem; }
select, input[type=text], input[type=number] { background: var(--panel); color: var(--fg); border: var(--hair); border-radius: var(--r1); padding: var(--s1) var(--s2); min-height: 2rem; font: 13px var(--mono); }
input[type=text] { width: 9ch; }
input[type=number] { width: 6ch; }
input.wide { width: 34ch; }
button, .button { display: inline-flex; align-items: center; justify-content: center; gap: var(--s2); background: var(--panel); color: var(--fg); border: var(--hair); border-radius: var(--r2); padding: 0 var(--s4); min-height: 2.25rem; font: 14px var(--sans); cursor: pointer; transition: border-color var(--pace) var(--ease); }
button:hover, .button:hover { border-color: var(--dim); text-decoration: none; }
button.primary, button.on, .button.primary { background: var(--fg); color: var(--bg); border-color: var(--fg); }
button.primary, .button.primary { font-weight: 600; }
.tabs { display: flex; gap: var(--s2); flex-wrap: wrap; }

@media (pointer: coarse) {
  button, .button, select, input[type=text], input[type=number], input[type=range], input[type=checkbox], .tree a, .tree summary, .contents a { min-height: var(--touch); }
  input[type=checkbox] { width: 1.25rem; height: 1.25rem; }
}

@media (prefers-reduced-motion: reduce) {
  html.js:not([data-saver]) .base .mark { display: none; }
  html.js:not([data-saver]) .base .still { display: block; }
}

/* STATS */

.stats { display: flex; flex-wrap: wrap; gap: var(--s2) var(--s5); color: var(--dim); font-size: 13px; margin-top: var(--s3); }
.stats b { color: var(--fg); font-weight: 500; font-family: var(--mono); }
.chip { display: inline-block; border-radius: var(--round); padding: 0 var(--s2); font: 11px/18px var(--mono); border: var(--hair); color: var(--dim); }
.chip.proved { color: color-mix(in srgb, var(--green) var(--mix), var(--fg)); border-color: color-mix(in srgb, var(--green) var(--mix), var(--fg)); }
.chip.verified { color: color-mix(in srgb, var(--blue) var(--mix), var(--fg)); border-color: color-mix(in srgb, var(--blue) var(--mix), var(--fg)); }
.chip.conjecture { color: color-mix(in srgb, var(--yellow) var(--mix), var(--fg)); border-color: color-mix(in srgb, var(--yellow) var(--mix), var(--fg)); }
.chip.refuted { color: color-mix(in srgb, var(--orange) var(--mix), var(--fg)); border-color: color-mix(in srgb, var(--orange) var(--mix), var(--fg)); }
.badge { font: 12px var(--mono); }

/* TABLES */

.scroll { overflow-x: auto; margin-top: var(--s3); }
table { width: 100%; border-collapse: collapse; font-size: 12.5px; }
th, td { text-align: left; padding: 6px 8px; border-bottom: var(--hair); vertical-align: top; }
td.num { white-space: nowrap; }
th { color: var(--dim); font-weight: 500; font-size: 12px; }

/* CARDS */

.cards { display: grid; grid-template-columns: repeat(auto-fill, minmax(140px, 1fr)); gap: var(--s3); margin-top: var(--s4); }
.card { display: block; color: inherit; background: var(--panel); border: var(--hair); border-radius: var(--r3); padding: var(--s3); cursor: pointer; transition: border-color var(--pace) var(--ease); }
.card:hover, .card.on { border-color: var(--accent); text-decoration: none; }
.card canvas, .card svg, .card img { width: 100%; height: auto; aspect-ratio: 1; display: block; border-radius: var(--r2); background: var(--art); image-rendering: pixelated; object-fit: cover; }
.card .code { font: 15px var(--mono); margin-top: var(--s2); }
.card .name { font: 11px var(--mono); color: var(--dim); overflow-wrap: anywhere; }

/* GALLERY */

.gallery { display: grid; grid-template-columns: repeat(auto-fit, minmax(250px, 1fr)); gap: var(--s4); }
.tile { color: inherit; background: var(--panel); border: var(--hair); border-radius: var(--r3); padding: var(--s4); display: block; transition: border-color var(--pace) var(--ease); }
.tile:hover { border-color: var(--accent); text-decoration: none; }
.tile canvas, .tile svg, .tile img { width: 100%; height: auto; aspect-ratio: 1.5; display: block; border-radius: var(--r2); background: var(--art); image-rendering: pixelated; object-fit: contain; }
.tile h2 { font-size: 1.05rem; margin: var(--s3) 0 var(--s1); }
.tile p { color: var(--dim); font-size: 13px; }

/* OPENER */

.opener { margin: 0 auto var(--s6); max-width: 32rem; }
.opener img { width: 100%; height: auto; display: block; border: var(--hair); border-radius: var(--r3); background: var(--art); }

/* ELSEWHERE */

.elsewhere { margin-top: var(--s7); }
.elsewhere ul { list-style: none; margin: var(--s3) 0 0; padding: 0; display: flex; flex-wrap: wrap; gap: var(--s2) var(--s4); }
.elsewhere a { color: var(--dim); }
.elsewhere a:hover { color: var(--fg); }

/* PRINT */

@media print {
  .skip, .top, .dock, .pane, .scrim, .base { display: none !important; }
  .panes { display: block; }
  main { max-width: none; padding: 0; }
  .opener { max-width: 20rem; margin-bottom: 1.5rem; }
  .opener img, .tile img { border: 0; }
  .tile { break-inside: avoid; }
}