/* lectes.dev: an arcade cabinet for the lectes scanner */

@font-face {
  font-family: "Press Start 2P";
  src: url("fonts/PressStart2P.5c7e04d0202b.woff2") format("woff2");
  font-display: swap;
}

@font-face {
  font-family: VT323;
  src: url("fonts/VT323.9cb03ff10174.woff2") format("woff2");
  font-display: swap;
}

:root {
  color-scheme: dark;
  --screen: #0d0b1e;
  --panel: #17142e;
  --panel-2: #211c40;
  --rail: #2b2550;
  --text: #edeaff;
  --soft: #c9c5ee;
  --muted: #9c97c9;
  --dim: #6e68a3;
  --coin: #ffd400;
  --shadow: #ff2e88;
  --cyan: #00e5ff;
  --green: #4dff6a;
  --warn: #ff9a3c;
  --error: #ff6b6b;
  --select: #3a3275;

  /* Rule colours: neon fills under dark text */
  --c0: #00e5ff;
  --c1: #ff4fa3;
  --c2: #4dff6a;
  --c3: #b48cff;
  --c4: #ff9a3c;
  --c5: #ffd400;
  --c6: #ff6b6b;
  --c7: #c9c5ee;
  --tok-text: #0d0b1e;

  /* A stepped pixel arrow for the stage picker */
  --pixel-arrow: url("data:image/svg+xml,%3Csvg xmlns='http://www.w3.org/2000/svg' viewBox='0 0 7 4' shape-rendering='crispEdges'%3E%3Cpath fill='%23ffd400' d='M0 0h7v1H6v1H5v1H4v1H3V3H2V2H1V1H0z'/%3E%3C/svg%3E");

  --hl-comment: #8a85b8;
  --hl-name: #ffd400;
  --hl-escape: #ff4fa3;
  --hl-class: #4dff6a;
  --hl-operator: #ff4fa3;
  --hl-group: #b48cff;
  --hl-invalid: #ff6b6b;

  --px: "Press Start 2P", ui-monospace, monospace;
  --vt: VT323, ui-monospace, "Cascadia Mono", Menlo, Consolas, monospace;
  --frame: 3px solid var(--text);
  --rail-line: 3px solid var(--rail);
}

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

html { -webkit-text-size-adjust: 100%; }

[hidden] { display: none !important; }

body {
  margin: 0;
  background: var(--screen);
  color: var(--text);
  font: 22px/1.25 var(--vt);
}

/* CRT scanlines */
body::after {
  content: "";
  position: fixed;
  inset: 0;
  z-index: 1000;
  pointer-events: none;
  background-image: repeating-linear-gradient(
    to bottom,
    transparent 0 2px,
    rgb(0 0 0 / 0.22) 2px 3px
  );
}

a { color: var(--cyan); }
a:hover { color: var(--coin); }
code, pre { font-family: var(--vt); }

:focus-visible { outline: 3px solid var(--coin); outline-offset: 2px; }

.visually-hidden {
  position: absolute !important;
  width: 1px; height: 1px;
  overflow: hidden;
  clip: rect(0 0 0 0);
  white-space: nowrap;
}

.muted { color: var(--muted); }
.px { font-family: var(--px); }

/* Header and footer */

.site-header {
  display: flex;
  flex-wrap: wrap;
  align-items: center;
  justify-content: space-between;
  gap: 12px 24px;
  max-width: 1440px;
  margin: 0 auto;
  padding: 14px 24px;
  border-bottom: var(--rail-line);
}

.brand {
  margin: 0;
  font: 16px/1 var(--px);
  color: var(--coin);
  text-shadow: 3px 3px 0 var(--shadow);
}
.brand a { color: inherit; text-decoration: none; }
.brand-tld { color: var(--text); }

.header-controls { display: flex; flex-wrap: wrap; align-items: center; gap: 8px; }

.picker { display: flex; align-items: center; gap: 10px; font: 10px var(--px); color: var(--cyan); }

/* Stage picker: a themed listbox in front of the hidden example <select> (stage-picker.js) */

select {
  font: 22px var(--vt);
  color: var(--text);
  background: var(--panel);
  border: var(--frame);
  border-radius: 0;
  min-height: 44px;
}

.stage-picker { position: relative; }

.stage-button {
  display: inline-flex;
  align-items: center;
  gap: 14px;
  min-height: 44px;
  padding: 2px 12px 2px 10px;
  font: 22px var(--vt);
  color: var(--text);
  text-align: left;
  background: var(--panel);
  border: var(--frame);
  border-radius: 0;
  box-shadow: 5px 5px 0 var(--rail);
  cursor: pointer;
}
.stage-button::after {
  content: "";
  flex: none;
  width: 14px;
  height: 8px;
  background: var(--pixel-arrow) center / contain no-repeat;
}
.stage-button:hover { color: var(--coin); }
.stage-button[aria-expanded="true"] { border-color: var(--coin); }
.stage-button[aria-expanded="true"]::after { rotate: 180deg; }

.stage-list {
  position: absolute;
  top: calc(100% + 8px);
  right: 0;
  z-index: 20;
  width: max-content;
  min-width: 100%;
  max-width: calc(100vw - 32px);
  max-height: min(24rem, 70vh);
  overflow: auto;
  margin: 0;
  padding: 6px 0;
  list-style: none;
  background: var(--panel);
  border: var(--frame);
  box-shadow: 6px 6px 0 var(--shadow);
}

.stage-option {
  display: flex;
  gap: 10px;
  padding: 4px 16px 4px 10px;
  font: 22px var(--vt);
  color: var(--soft);
  cursor: pointer;
}
.stage-option::before { content: "▶"; visibility: hidden; color: var(--coin); }
.stage-option[aria-selected="true"] { color: var(--coin); }
.stage-option[aria-selected="true"]::before { visibility: visible; }
.stage-option.is-active { color: var(--screen); background: var(--coin); }
.stage-option.is-active::before { color: var(--screen); }

.button {
  display: inline-flex;
  align-items: center;
  gap: 10px;
  min-height: 44px;
  padding: 0 14px;
  font: 10px var(--px);
  color: var(--text);
  text-decoration: none;
  background: var(--panel);
  border: var(--frame);
  border-radius: 0;
  box-shadow: 5px 5px 0 var(--rail);
  cursor: pointer;
}
.button:hover { color: var(--coin); }
.button:active { transform: translate(5px, 5px); box-shadow: none; }
.button.primary { color: var(--screen); background: var(--coin); border-color: var(--screen); box-shadow: 5px 5px 0 var(--shadow); }
.button.primary:hover { color: var(--screen); background: #ffe14d; }
.button.ghost { background: transparent; border-color: transparent; box-shadow: none; }
.button.ghost:hover { border-color: var(--rail); }
.button.ghost:active { transform: none; }
.button.small { min-height: 36px; padding: 0 10px; font-size: 9px; }
.button.danger { color: var(--text); background: var(--error); border-color: var(--screen); box-shadow: 5px 5px 0 var(--rail); }
.button.danger:hover { color: var(--screen); }
.button.player { color: var(--green); }

/* Saved grammars: the title in the header, the save dialog and its errors */

.saved-title { display: flex; flex-wrap: wrap; align-items: baseline; gap: 4px 12px; margin: 0 8px 0 0; min-width: 0; }
.saved-name { font: 22px var(--vt); color: var(--coin); overflow-wrap: anywhere; }
input.saved-name {
  width: 18ch;
  min-height: 44px;
  padding: 2px 10px;
  background: var(--panel);
  border: var(--frame);
  border-radius: 0;
}
input.saved-name:focus-visible { outline: none; border-color: var(--coin); }
.byline { color: var(--muted); white-space: nowrap; }

.save-errors { max-width: 1440px; margin: 0 auto; padding: 0 24px; }
.save-errors:empty { display: none; }
.save-errors .errorlist { margin: 16px 0 0; padding: 10px 14px; border: 3px solid var(--error); background: var(--panel); }

.save-dialog {
  width: min(34rem, calc(100vw - 32px));
  padding: 28px 28px 32px;
  color: var(--text);
  background: var(--panel);
  border: var(--frame);
  box-shadow: 6px 6px 0 var(--shadow);
}
.save-dialog::backdrop { background: rgb(13 11 30 / 0.8); }
.save-dialog .auth-note { margin: 0 0 16px; }

.site-footer {
  display: flex;
  flex-wrap: wrap;
  justify-content: space-between;
  gap: 8px 24px;
  max-width: 1440px;
  margin: 0 auto;
  padding: 32px 24px 40px;
  font-size: 20px;
  color: var(--muted);
}
.footer-links { display: flex; flex-wrap: wrap; gap: 8px 20px; }

.noscript { margin: 16px 24px; padding: 12px; border: 3px solid var(--warn); color: var(--warn); }

/* Title screen */

.title-screen {
  display: flex;
  flex-direction: column;
  align-items: center;
  gap: 22px;
  max-width: 1440px;
  margin: 0 auto;
  padding: 56px 24px 48px;
  text-align: center;
}
.title-kicker { margin: 0; font: 11px var(--px); letter-spacing: 0.1em; text-transform: uppercase; color: var(--muted); }
.title-logo {
  margin: 0;
  font: clamp(26px, 6.6vw, 96px)/1.1 var(--px);
  color: var(--coin);
  text-shadow: 6px 6px 0 var(--shadow), 12px 12px 0 var(--cyan);
  overflow-wrap: anywhere;
}
.title-logo span { color: var(--text); }
.title-screen h1 {
  margin: 8px 0 0;
  font: clamp(14px, 2.6vw, 30px)/1.6 var(--px);
  letter-spacing: 0.02em;
}
.title-screen h1 span { color: var(--green); }
.title-blurb { margin: 0; max-width: 34em; font-size: 24px; color: var(--soft); }

main { max-width: 1440px; margin: 0 auto; padding: 0 24px; }

/* Editors */

.editors { display: grid; grid-template-columns: 1fr 1fr; gap: 24px; }

.pane {
  display: flex;
  flex-direction: column;
  min-width: 0;
  background: var(--panel);
  border: var(--frame);
  box-shadow: 6px 6px 0 var(--shadow);
}
.pane + .pane { box-shadow: 6px 6px 0 var(--cyan); }

.pane-head, .pane-foot {
  display: flex;
  flex-wrap: wrap;
  align-items: baseline;
  justify-content: space-between;
  gap: 6px 12px;
  padding: 8px 14px;
  font-size: 20px;
}

.pane-head { background: var(--panel-2); border-bottom: var(--frame); }
.pane-head label { font: 12px var(--px); color: var(--coin); }
.pane + .pane .pane-head label { color: var(--cyan); }
.pane-foot { border-top: var(--rail-line); color: var(--muted); }
.hint { color: var(--muted); }

/* A saved grammar's description: a pane across both editor columns */
.about { margin-bottom: 24px; }
.about-label { margin: 0; font: 12px/25px var(--px); color: var(--coin); }  /* as tall as a hint line */
.about-text { margin: 0; padding: 10px 14px; color: var(--soft); white-space: pre-line; overflow-wrap: anywhere; }
.hint code { color: var(--text); }

.pane textarea {
  display: block;
  width: 100%;
  min-height: 20rem;
  border: 0;
  padding: 10px 12px;
  resize: vertical;
  font: 22px/1.3 var(--vt);
  color: var(--text);
  background: var(--panel);
  tab-size: 4;
}
.about textarea { min-height: 0; color: var(--soft); resize: none; field-sizing: content; }  /* as tall as its text */
.about textarea::placeholder { color: var(--dim); }
.about textarea:focus-visible { outline: 3px solid var(--coin); outline-offset: -3px; }

.counter { color: var(--muted); }
.counter.near { color: var(--warn); }
.counter.over { color: var(--error); }

.pane .cm-editor { height: 20rem; font-size: 22px; background: var(--panel); color: var(--text); }
.pane .cm-editor.cm-focused { outline: none; }
.pane:focus-within { border-color: var(--coin); }
.pane .cm-scroller { font-family: var(--vt); line-height: 1.3; }
.pane .cm-gutters { background: var(--panel); color: var(--dim); border-right: var(--rail-line); }
.pane .cm-activeLine { background: color-mix(in srgb, var(--panel-2) 70%, transparent); }
.pane .cm-activeLineGutter { background: var(--panel-2); color: var(--text); }
.pane .cm-content { caret-color: var(--coin); }
.pane .cm-cursor { border-left: 3px solid var(--coin); }
.pane .cm-selectionBackground, .pane .cm-focused .cm-selectionBackground { background: var(--select) !important; }
.pane .cm-lintRange-error { background-image: none; text-decoration: underline wavy var(--error); text-underline-offset: 4px; }
.pane .cm-lintRange-warning { background-image: none; text-decoration: underline wavy var(--warn); text-underline-offset: 4px; }

/* Highlighted tokens in the text editor */

.tok { color: var(--tok-text); }
.tok.c0 { background: var(--c0); }
.tok.c1 { background: var(--c1); }
.tok.c2 { background: var(--c2); }
.tok.c3 { background: var(--c3); }
.tok.c4 { background: var(--c4); }
.tok.c5 { background: var(--c5); }
.tok.c6 { background: var(--c6); }
.tok.c7 { background: var(--c7); }
.tok-unmatched {
  color: var(--error);
  background: color-mix(in srgb, var(--error) 18%, transparent);
  text-decoration: wavy underline var(--error);
  text-underline-offset: 4px;
}
.tok-active { outline: 3px solid var(--text); outline-offset: 0; }
.line-active { background: var(--rail) !important; }

/* Grammar syntax */

.hl-comment { color: var(--hl-comment); }
.hl-name { color: var(--hl-name); }
.hl-escape { color: var(--hl-escape); }
.hl-class { color: var(--hl-class); }
.hl-operator { color: var(--hl-operator); }
.hl-group { color: var(--hl-group); }
.hl-invalid { color: var(--hl-invalid); text-decoration: underline wavy; }

/* Tooltips: a game dialogue box */

.cm-editor .cm-tooltip {
  border: var(--frame);
  border-radius: 0;
  background: var(--screen);
  color: var(--text);
}
.cm-editor .cm-tooltip-hover { box-shadow: 6px 6px 0 var(--coin); }
.cm-tooltip .why-tooltip {
  padding: 12px 14px;
  font: 20px/1.25 var(--vt);
  max-width: 22rem;
}
.why-tooltip .why-head { font: 11px/1.4 var(--px); color: var(--green); margin-bottom: 8px; }
.why-tooltip .why-head.miss { color: var(--error); }
.why-tooltip ol { margin: 4px 0 0; padding: 0; list-style: none; }
.why-tooltip li { color: var(--muted); }
.why-tooltip li::before { content: "  "; white-space: pre; }
.why-tooltip li.winner { color: var(--coin); }
.why-tooltip li.winner::before { content: "▶ "; }
.cm-tooltip-lint { font: 20px var(--vt); }
.cm-diagnostic { border-left: 0; padding: 6px 10px; }
.cm-diagnostic-error { color: var(--error); }
.cm-diagnostic-warning { color: var(--warn); }

/* Controls */

.controls {
  display: flex;
  flex-wrap: wrap;
  align-items: center;
  gap: 14px 28px;
  margin: 26px 0 18px;
}

.segmented {
  display: inline-flex;
  gap: 22px;
  margin: 0;
  padding: 6px 16px;
  border: var(--rail-line);
  background: var(--panel);
}
.segmented label {
  display: inline-flex;
  align-items: center;
  gap: 10px;
  min-height: 36px;
  font: 11px var(--px);
  color: var(--muted);
  cursor: pointer;
}
.segmented label::before { content: "▶"; visibility: hidden; }
.segmented label:has(input:checked) { color: var(--coin); }
.segmented label:has(input:checked)::before { visibility: visible; }
.segmented input { position: absolute; opacity: 0; pointer-events: none; }
.segmented label:has(input:focus-visible) { outline: 3px solid var(--coin); outline-offset: 4px; }

.check { display: inline-flex; align-items: center; gap: 10px; cursor: pointer; }
.check input { width: 18px; height: 18px; accent-color: var(--coin); }

.indicator { font: 10px var(--px); color: var(--green); visibility: hidden; }
.htmx-request .indicator, .htmx-request.indicator { visibility: visible; }

/* Results */

#results { min-height: 8rem; }

.hud { display: flex; flex-wrap: wrap; gap: 16px; margin-bottom: 16px; }
.hud-stat {
  flex: 1 1 150px;
  display: flex;
  flex-direction: column;
  gap: 8px;
  padding: 12px 16px;
  background: var(--panel);
  border: var(--rail-line);
}
.hud-label { font: 10px var(--px); color: var(--cyan); }
.hud-value { font: 22px var(--px); color: var(--coin); }
.hud-stat.good .hud-value { color: var(--green); }
.hud-stat.bad .hud-value { color: var(--error); }
.hud-time .hud-value { color: var(--text); }
.hud-notes { flex: 2 1 260px; display: flex; flex-direction: column; justify-content: center; gap: 4px; color: var(--warn); }

.state {
  display: flex;
  flex-direction: column;
  align-items: center;
  gap: 14px;
  margin-bottom: 20px;
  padding: 28px 24px;
  text-align: center;
  background: var(--panel);
  border: 3px solid var(--error);
  box-shadow: 6px 6px 0 var(--shadow);
}
.state.warn { border-color: var(--warn); box-shadow: 6px 6px 0 var(--coin); }
.state-title { margin: 0; font: 22px/1.4 var(--px); color: var(--error); }
.state.warn .state-title { color: var(--warn); }
.state-hint { font: 10px var(--px); }

.problems { list-style: none; margin: 0 0 16px; padding: 0; display: grid; gap: 8px; }
.state .problems { margin: 0; justify-items: center; }
.problem {
  display: flex;
  flex-wrap: wrap;
  align-items: baseline;
  gap: 10px;
  padding: 8px 14px;
  border: 3px solid currentColor;
  background: var(--panel);
}
.state .problem { border: 0; padding: 0; background: none; }
.problem.error { color: var(--error); }
.problem.warning { color: var(--warn); }
.severity { font: 9px var(--px); text-transform: uppercase; }
.problem .message { color: var(--text); overflow-wrap: anywhere; }
.line-link {
  font: inherit;
  color: var(--coin);
  background: none;
  border: 0;
  padding: 0;
  text-decoration: underline;
  cursor: pointer;
}

.results-grid { display: grid; grid-template-columns: 15rem minmax(0, 1fr); gap: 20px; align-items: start; }

.rules, .tokens, .export { background: var(--panel); border: var(--frame); }

.rules { padding: 12px 0 10px; }
.rules h2 { margin: 0 14px 10px; font: 12px var(--px); text-transform: uppercase; color: var(--coin); }
.rules ul { list-style: none; margin: 0; padding: 0; max-height: 32rem; overflow: auto; }
.rule { display: grid; grid-template-columns: 14px minmax(0, 1fr) auto auto; align-items: center; gap: 10px; padding: 2px 14px; }
.rule.is-hidden .rule-name, .rule.is-hidden .count { opacity: 0.5; }
.swatch { width: 14px; height: 14px; }
.rule-name {
  font: 22px var(--vt);
  color: var(--text);
  background: none;
  border: 0;
  padding: 2px 0;
  text-align: left;
  cursor: pointer;
  overflow: hidden;
  text-overflow: ellipsis;
}
.rule-name:hover { color: var(--coin); }
.count { font: 10px var(--px); color: var(--coin); }
.count::before { content: "x"; }
.hide-toggle { display: inline-flex; gap: 4px; align-items: center; color: var(--muted); font-size: 18px; cursor: pointer; }
.hide-toggle input { accent-color: var(--coin); }

.swatch.c0 { background: var(--c0); } .swatch.c1 { background: var(--c1); }
.swatch.c2 { background: var(--c2); } .swatch.c3 { background: var(--c3); }
.swatch.c4 { background: var(--c4); } .swatch.c5 { background: var(--c5); }
.swatch.c6 { background: var(--c6); } .swatch.c7 { background: var(--c7); }

.tokens { overflow: hidden; }

.table-wrap { max-height: 32rem; overflow: auto; }
.token-table { width: 100%; border-collapse: collapse; }
.token-table th {
  position: sticky;
  top: 0;
  z-index: 1;
  padding: 10px 12px;
  text-align: left;
  font: 10px var(--px);
  text-transform: uppercase;
  color: var(--cyan);
  background: var(--panel-2);
  border-bottom: var(--frame);
  white-space: nowrap;
}
.token-table td { padding: 3px 12px; border-bottom: 2px solid var(--rail); vertical-align: top; }
.token-table tr:last-child td { border-bottom: 0; }
.token-table tr.unmatched td { background: color-mix(in srgb, var(--error) 14%, transparent); }
.token-table tr.is-active td { background: var(--rail); }
.token-table .num { color: var(--muted); white-space: nowrap; }
.token-table td.num:first-child { color: var(--dim); }
.token-table .empty { padding: 28px 16px; font: 12px/1.6 var(--px); color: var(--cyan); text-align: center; }

.rule-chip {
  display: inline-block;
  padding: 4px 6px;
  font: 9px var(--px);
  color: var(--tok-text);
  white-space: nowrap;
}
.rule-chip.c0, .chip.c0 { background: var(--c0); } .rule-chip.c1, .chip.c1 { background: var(--c1); }
.rule-chip.c2, .chip.c2 { background: var(--c2); } .rule-chip.c3, .chip.c3 { background: var(--c3); }
.rule-chip.c4, .chip.c4 { background: var(--c4); } .rule-chip.c5, .chip.c5 { background: var(--c5); }
.rule-chip.c6, .chip.c6 { background: var(--c6); } .rule-chip.c7, .chip.c7 { background: var(--c7); }
.rule-chip.unmatched, .chip.unmatched { color: var(--error); background: transparent; box-shadow: inset 0 0 0 2px var(--error); }

.select-token {
  font: 22px var(--vt);
  color: inherit;
  background: none;
  border: 0;
  padding: 0;
  text-align: left;
  cursor: pointer;
  white-space: pre-wrap;
  overflow-wrap: anywhere;
}
.select-token:hover { color: var(--coin); }
.ws { color: var(--dim); }

.why-label { text-transform: uppercase; white-space: nowrap; }
.why-only { color: var(--muted); }
.why-longest { color: var(--green); }
.why-tie-earlier { color: var(--warn); }
details.why summary { cursor: pointer; }
.candidates { margin: 4px 0 2px; padding-left: 0; list-style: none; color: var(--muted); }
.candidates li { white-space: nowrap; }
.candidates li::before { content: "  "; white-space: pre; }
.candidates li.winner { color: var(--coin); }
.candidates li.winner::before { content: "▶ "; }
.cand-rule { font-family: var(--vt); }

.chips { list-style: none; margin: 0; padding: 14px; display: flex; flex-wrap: wrap; gap: 8px; max-height: 32rem; overflow: auto; }
.chip { color: var(--tok-text); }
.chip.is-active { outline: 3px solid var(--text); outline-offset: 2px; }
.chip .select-token { display: inline-flex; align-items: baseline; gap: 8px; padding: 2px 8px; }
.chip .select-token:hover { color: inherit; text-decoration: underline; }
.chip-name { font: 8px var(--px); }
.chip-literal { font-family: var(--vt); }
.chip .ws { color: inherit; opacity: 0.6; }
.chips .empty { font: 12px/1.6 var(--px); color: var(--cyan); }

.export { margin-top: 20px; }
.export summary { padding: 14px 16px; cursor: pointer; font: 12px var(--px); color: var(--coin); }
.export-body { position: relative; border-top: var(--frame); }
.export-body .button { position: absolute; top: 12px; right: 14px; }
.export pre { margin: 0; padding: 14px; overflow: auto; font-size: 20px; line-height: 1.3; }

/* Flash messages */

.messages { list-style: none; max-width: 1440px; margin: 16px auto 0; padding: 0 24px; display: grid; gap: 8px; }
.message { padding: 10px 14px; border: 3px solid var(--cyan); background: var(--panel); color: var(--text); }
.message.success { border-color: var(--green); }
.message.warning { border-color: var(--warn); }
.message.error { border-color: var(--error); }

/* Account pages: a card in the middle of the screen */

.auth { display: flex; justify-content: center; padding: 48px 24px; }
.auth-card {
  width: 100%;
  max-width: 34rem;
  padding: 28px 28px 32px;
  background: var(--panel);
  border: var(--frame);
  box-shadow: 6px 6px 0 var(--shadow);
}
.auth-card > p, .auth-card > ul { color: var(--soft); }
.auth-title { margin: 0 0 18px; font: 18px/1.5 var(--px); color: var(--coin); text-shadow: 3px 3px 0 var(--shadow); overflow-wrap: anywhere; }
.danger-title { color: var(--error); }
.auth-subtitle { margin: 24px 0 12px; font: 12px/1.5 var(--px); color: var(--cyan); }
.auth-rule { margin: 24px 0; border: 0; border-top: var(--rail-line); }
.auth-alert { padding: 10px 14px; border: 3px solid var(--warn); color: var(--warn); }
.auth-note { font-size: 20px; color: var(--muted); }

.auth-form p { margin: 0 0 16px; }
.auth-form label { display: block; margin-bottom: 6px; font: 10px/1.6 var(--px); color: var(--cyan); }
.auth-form input:not([type="checkbox"], [type="radio"]), .auth-form textarea {
  display: block;
  width: 100%;
  min-height: 44px;
  padding: 4px 10px;
  font: 22px var(--vt);
  color: var(--text);
  background: var(--screen);
  border: var(--frame);
  border-radius: 0;
}
.auth-form input:focus-visible, .auth-form textarea:focus-visible { outline: none; border-color: var(--coin); }
.auth-form textarea { resize: vertical; }
.auth-form input:disabled { color: var(--muted); border-color: var(--rail); }
.auth-form .helptext { display: block; margin-top: 6px; font-size: 19px; color: var(--muted); }
.auth-form .helptext ul { margin: 0; padding-left: 1.2em; }
.errorlist { margin: 0 0 8px; padding: 0; list-style: none; color: var(--error); }
.auth-actions { display: flex; flex-wrap: wrap; gap: 12px; margin-top: 8px; }

.auth-choice { display: flex; align-items: baseline; gap: 10px; }
.auth-choice label { display: inline; font: 22px var(--vt); color: var(--text); }
.auth-choice input { accent-color: var(--coin); }
.badge { margin-left: 8px; font: 9px var(--px); color: var(--green); }

.providers { list-style: none; margin: 0; padding: 0; display: grid; gap: 12px; }
.providers form { margin: 0; }
.button.provider { width: 100%; justify-content: center; }

.account-facts { display: grid; grid-template-columns: max-content minmax(0, 1fr); gap: 8px 16px; margin: 0 0 24px; }
.account-facts dt { font: 10px/2.2 var(--px); color: var(--cyan); }
.account-facts dd { margin: 0; overflow-wrap: anywhere; }
.account-menu { list-style: none; margin: 0; padding: 0; display: flex; flex-wrap: wrap; gap: 12px; }
.account-menu form { margin: 0; }

.grammar-list { list-style: none; margin: 0 0 24px; padding: 0; display: grid; gap: 4px; }
.grammar-list li { display: flex; flex-wrap: wrap; align-items: center; justify-content: space-between; gap: 4px 16px; padding: 8px 0; border-bottom: var(--rail-line); }
.grammar-list a:not(.button) { overflow-wrap: anywhere; }
.grammar-title { display: grid; min-width: 0; }
.grammar-description { font-size: 20px; color: var(--muted); overflow-wrap: anywhere; }
.grammar-meta { display: flex; align-items: center; gap: 12px; color: var(--muted); }
.danger-link { color: var(--error); }

/* Text pages */

.prose { max-width: 46rem; padding: 40px 24px; color: var(--soft); }
.prose h1 { margin: 0 0 24px; font: 22px/1.5 var(--px); color: var(--coin); text-shadow: 3px 3px 0 var(--shadow); }
.prose h2 { margin: 32px 0 10px; font: 12px/1.5 var(--px); color: var(--cyan); }

@media (max-width: 800px) {
  .messages { padding: 0 16px; }
  .auth { padding: 32px 16px; }
  .auth-card { padding: 22px 18px 26px; }
  .prose { padding: 32px 16px; }
  .site-header { padding: 12px 16px; }
  .save-errors { padding: 0 16px; }
  .save-dialog { padding: 22px 18px 26px; }
  .title-screen { padding: 40px 16px 36px; }
  .title-logo { text-shadow: 3px 3px 0 var(--shadow), 6px 6px 0 var(--cyan); }
  main { padding: 0 16px; }
  .site-footer { padding: 24px 16px 32px; }
  .editors { grid-template-columns: 1fr; }
  .pane .cm-editor { height: 14rem; }
  .pane textarea { min-height: 14rem; }
  .results-grid { grid-template-columns: 1fr; }
  .rules ul { max-height: 12rem; }
}
