/* Sealed Enclave Unit — public verifier
   Art direction: institutional records system. Cool ink surfaces, one restrained
   accent, monospace carried at full weight because nearly every value on this
   page is a digest. Sober on purpose: this has to be readable by an election
   official who disagrees with whoever sent them the link. */

:root,
[data-theme='light'] {
  --color-bg: #f4f5f7;
  --color-surface: #ffffff;
  --color-surface-2: #fafbfc;
  --color-surface-offset: #eceef1;
  --color-surface-offset-2: #e3e6ea;
  --color-divider: #d9dde2;
  --color-border: #c8ced6;

  --color-text: #16191d;
  --color-text-muted: #5f676f;
  --color-text-faint: #9aa2ab;
  --color-text-inverse: #f7f8f9;

  --color-primary: #1c4c6b;
  --color-primary-hover: #163c55;
  --color-primary-active: #102b3d;
  --color-primary-highlight: #d3dfe8;

  --color-verified: #1f6b45;
  --color-verified-bg: #dfeee6;
  --color-refused: #8f2438;
  --color-refused-bg: #f3dde1;
  --color-caution: #8a5205;
  --color-caution-bg: #f4e6cf;

  --radius-sm: 0.25rem;
  --radius-md: 0.375rem;
  --radius-lg: 0.5rem;

  --shadow-sm: 0 1px 2px oklch(0.2 0.02 250 / 0.07);
  --shadow-md: 0 4px 14px oklch(0.2 0.02 250 / 0.09);

  --transition-interactive: 180ms cubic-bezier(0.16, 1, 0.3, 1);

  --text-xs: clamp(0.75rem, 0.72rem + 0.15vw, 0.8125rem);
  --text-sm: clamp(0.875rem, 0.85rem + 0.15vw, 0.9375rem);
  --text-base: clamp(1rem, 0.97rem + 0.15vw, 1.0625rem);
  --text-lg: clamp(1.125rem, 1.05rem + 0.4vw, 1.375rem);
  --text-xl: clamp(1.5rem, 1.25rem + 1vw, 2.125rem);
  --text-2xl: clamp(1.875rem, 1.4rem + 2vw, 2.875rem);

  --space-1: 0.25rem;
  --space-2: 0.5rem;
  --space-3: 0.75rem;
  --space-4: 1rem;
  --space-5: 1.25rem;
  --space-6: 1.5rem;
  --space-8: 2rem;
  --space-10: 2.5rem;
  --space-12: 3rem;
  --space-16: 4rem;
  --space-20: 5rem;

  --content: 76rem;
  --content-narrow: 44rem;

  --font-sans: 'Inter', ui-sans-serif, system-ui, -apple-system, sans-serif;
  --font-mono: 'JetBrains Mono', ui-monospace, 'SF Mono', Menlo, monospace;
}

[data-theme='dark'] {
  --color-bg: #0e1116;
  --color-surface: #161a21;
  --color-surface-2: #1b2028;
  --color-surface-offset: #21262f;
  --color-surface-offset-2: #2a303a;
  --color-divider: #2f353f;
  --color-border: #3d444f;

  --color-text: #e8ebef;
  --color-text-muted: #9aa4b0;
  --color-text-faint: #646d78;
  --color-text-inverse: #16191d;

  --color-primary: #7fb2d4;
  --color-primary-hover: #9cc5e1;
  --color-primary-active: #b7d5ea;
  --color-primary-highlight: #1d3242;

  --color-verified: #6dc295;
  --color-verified-bg: #163023;
  --color-refused: #e08a9c;
  --color-refused-bg: #34191f;
  --color-caution: #d9a95f;
  --color-caution-bg: #33270f;

  --shadow-sm: 0 1px 2px oklch(0 0 0 / 0.4);
  --shadow-md: 0 4px 14px oklch(0 0 0 / 0.5);
}

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

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

body {
  margin: 0;
  background: var(--color-bg);
  color: var(--color-text);
  font-family: var(--font-sans);
  font-size: var(--text-base);
  line-height: 1.65;
  -webkit-font-smoothing: antialiased;
  font-feature-settings: 'cv05', 'ss03';
}

h1,
h2,
h3,
h4 {
  line-height: 1.2;
  letter-spacing: -0.017em;
  margin: 0;
  font-weight: 600;
}

p {
  margin: 0 0 var(--space-4);
  max-width: 68ch;
}

a {
  color: var(--color-primary);
  text-decoration-thickness: 1px;
  text-underline-offset: 2px;
}

a:hover {
  color: var(--color-primary-hover);
}

code,
kbd,
pre,
.mono {
  font-family: var(--font-mono);
  font-variant-ligatures: none;
}

:focus-visible {
  outline: 2px solid var(--color-primary);
  outline-offset: 2px;
  border-radius: var(--radius-sm);
}

.skip-link {
  position: absolute;
  left: -9999px;
  top: 0;
  background: var(--color-surface);
  color: var(--color-text);
  padding: var(--space-3) var(--space-4);
  z-index: 100;
  border-radius: 0 0 var(--radius-md) 0;
}

.skip-link:focus {
  left: 0;
}

/* ------------------------------------------------------------------ layout */
.wrap {
  max-width: var(--content);
  margin-inline: auto;
  padding-inline: var(--space-5);
}

.narrow {
  max-width: var(--content-narrow);
}

section {
  scroll-margin-top: 4.25rem;
  padding-block: clamp(var(--space-12), 6vw, var(--space-20));
  border-top: 1px solid var(--color-divider);
}

.section-label {
  font-family: var(--font-mono);
  font-size: var(--text-xs);
  text-transform: uppercase;
  letter-spacing: 0.11em;
  color: var(--color-text-muted);
  margin-bottom: var(--space-3);
}

h2 {
  font-size: var(--text-xl);
  margin-bottom: var(--space-4);
  max-width: 34ch;
}

h3 {
  font-size: var(--text-lg);
  margin-bottom: var(--space-3);
}

.lede {
  font-size: var(--text-lg);
  color: var(--color-text-muted);
  line-height: 1.55;
  max-width: 58ch;
}

/* ------------------------------------------------------------------ header */
header.site {
  position: sticky;
  top: 0;
  z-index: 40;
  background: color-mix(in srgb, var(--color-bg) 88%, transparent);
  backdrop-filter: blur(12px);
  border-bottom: 1px solid var(--color-divider);
}

.bar {
  display: flex;
  align-items: center;
  gap: var(--space-5);
  min-height: 3.75rem;
}

.brand {
  display: flex;
  align-items: center;
  gap: var(--space-3);
  color: var(--color-text);
  text-decoration: none;
  font-weight: 600;
  font-size: var(--text-sm);
  letter-spacing: -0.01em;
  flex-shrink: 0;
}

.brand svg {
  color: var(--color-primary);
  flex-shrink: 0;
}

nav.site {
  margin-left: auto;
  display: flex;
  gap: var(--space-1);
  align-items: center;
}

nav.site a {
  font-size: var(--text-sm);
  color: var(--color-text-muted);
  text-decoration: none;
  padding: var(--space-2) var(--space-3);
  border-radius: var(--radius-md);
  transition: var(--transition-interactive);
  white-space: nowrap;
}

nav.site a:hover {
  color: var(--color-text);
  background: var(--color-surface-offset);
}

.theme-toggle {
  background: transparent;
  border: 1px solid var(--color-border);
  color: var(--color-text-muted);
  width: 2.125rem;
  height: 2.125rem;
  border-radius: var(--radius-md);
  cursor: pointer;
  display: grid;
  place-items: center;
  transition: var(--transition-interactive);
  flex-shrink: 0;
}

.theme-toggle:hover {
  color: var(--color-text);
  border-color: var(--color-text-muted);
}

/* -------------------------------------------------------------------- hero */
.hero {
  border-top: none;
  padding-block: clamp(var(--space-12), 8vw, var(--space-20));
}

.hero h1 {
  font-size: var(--text-2xl);
  max-width: 30ch;
  margin-bottom: var(--space-5);
}

.status-strip {
  display: flex;
  flex-wrap: wrap;
  gap: var(--space-2);
  margin-top: var(--space-8);
}

/* ------------------------------------------------------------------ badges */
.badge {
  display: inline-flex;
  align-items: center;
  gap: var(--space-2);
  font-family: var(--font-mono);
  font-size: var(--text-xs);
  padding: var(--space-1) var(--space-3);
  border-radius: var(--radius-full, 9999px);
  border: 1px solid transparent;
  white-space: nowrap;
  line-height: 1.7;
}

.badge.verified {
  background: var(--color-verified-bg);
  color: var(--color-verified);
  border-color: color-mix(in srgb, var(--color-verified) 35%, transparent);
}

.badge.refused {
  background: var(--color-refused-bg);
  color: var(--color-refused);
  border-color: color-mix(in srgb, var(--color-refused) 35%, transparent);
}

.badge.caution {
  background: var(--color-caution-bg);
  color: var(--color-caution);
  border-color: color-mix(in srgb, var(--color-caution) 35%, transparent);
}

.badge.neutral {
  background: var(--color-surface-offset);
  color: var(--color-text-muted);
  border-color: var(--color-border);
}

/* ------------------------------------------------------------------- cards */
.card {
  background: var(--color-surface);
  border: 1px solid var(--color-border);
  border-radius: var(--radius-lg);
  padding: var(--space-6);
}

.grid {
  display: grid;
  gap: var(--space-4);
}

.grid.two {
  grid-template-columns: repeat(auto-fit, minmax(19rem, 1fr));
}

.grid.three {
  grid-template-columns: repeat(auto-fit, minmax(15rem, 1fr));
}

.card h3 {
  font-size: var(--text-base);
  font-weight: 600;
  margin-bottom: var(--space-2);
}

.card p:last-child {
  margin-bottom: 0;
}

.card .role {
  font-family: var(--font-mono);
  font-size: var(--text-xs);
  color: var(--color-text-muted);
  text-transform: uppercase;
  letter-spacing: 0.08em;
  margin-bottom: var(--space-2);
}

/* -------------------------------------------------------------------- tool */
.tool {
  background: var(--color-surface);
  border: 1px solid var(--color-border);
  border-radius: var(--radius-lg);
  overflow: hidden;
}

.tool-head {
  padding: var(--space-4) var(--space-5);
  border-bottom: 1px solid var(--color-divider);
  background: var(--color-surface-2);
  display: flex;
  align-items: center;
  gap: var(--space-3);
  flex-wrap: wrap;
}

.tool-head h3 {
  margin: 0;
  font-size: var(--text-base);
}

.tool-body {
  padding: var(--space-5);
}

label {
  display: block;
  font-size: var(--text-sm);
  font-weight: 500;
  margin-bottom: var(--space-2);
  color: var(--color-text);
}

.hint {
  font-size: var(--text-xs);
  color: var(--color-text-muted);
  font-weight: 400;
  margin-top: var(--space-1);
  margin-bottom: var(--space-2);
  max-width: 62ch;
}

textarea,
input[type='text'],
select {
  width: 100%;
  background: var(--color-bg);
  border: 1px solid var(--color-border);
  border-radius: var(--radius-md);
  color: var(--color-text);
  padding: var(--space-3);
  font-family: var(--font-mono);
  font-size: var(--text-sm);
  line-height: 1.55;
  resize: vertical;
}

textarea {
  min-height: 8rem;
}

select {
  font-family: var(--font-sans);
  cursor: pointer;
}

.actions {
  display: flex;
  flex-wrap: wrap;
  gap: var(--space-2);
  margin-top: var(--space-4);
}

button.btn {
  font-family: var(--font-sans);
  font-size: var(--text-sm);
  font-weight: 500;
  padding: var(--space-2) var(--space-4);
  border-radius: var(--radius-md);
  border: 1px solid var(--color-primary);
  background: var(--color-primary);
  color: var(--color-text-inverse);
  cursor: pointer;
  transition: var(--transition-interactive);
  min-height: 2.375rem;
}

[data-theme='dark'] button.btn {
  color: #0e1116;
}

button.btn:hover {
  background: var(--color-primary-hover);
  border-color: var(--color-primary-hover);
}

button.btn.secondary {
  background: transparent;
  color: var(--color-text);
  border-color: var(--color-border);
}

button.btn.secondary:hover {
  background: var(--color-surface-offset);
  border-color: var(--color-text-muted);
}

button.btn:disabled {
  opacity: 0.5;
  cursor: not-allowed;
}

/* ------------------------------------------------------------------ result */
.result {
  margin-top: var(--space-5);
  border-radius: var(--radius-md);
  border: 1px solid var(--color-border);
  background: var(--color-bg);
  padding: var(--space-4);
  font-family: var(--font-mono);
  font-size: var(--text-xs);
  line-height: 1.75;
  white-space: pre-wrap;
  word-break: break-all;
  overflow-wrap: anywhere;
}

.result.verified {
  border-color: color-mix(in srgb, var(--color-verified) 45%, transparent);
  background: var(--color-verified-bg);
  color: color-mix(in oklch, var(--color-verified) 80%, var(--color-text));
}

.result.refused {
  border-color: color-mix(in srgb, var(--color-refused) 45%, transparent);
  background: var(--color-refused-bg);
  color: color-mix(in oklch, var(--color-refused) 80%, var(--color-text));
}

.result:empty {
  display: none;
}

/* ------------------------------------------------------------------- table */
.table-scroll {
  overflow-x: auto;
  border: 1px solid var(--color-border);
  border-radius: var(--radius-lg);
  background: var(--color-surface);
}

table {
  border-collapse: collapse;
  width: 100%;
  font-size: var(--text-sm);
}

th,
td {
  text-align: left;
  padding: var(--space-3) var(--space-4);
  border-bottom: 1px solid var(--color-divider);
  vertical-align: top;
}

th {
  font-size: var(--text-xs);
  text-transform: uppercase;
  letter-spacing: 0.08em;
  color: var(--color-text-muted);
  font-weight: 600;
  white-space: nowrap;
  background: var(--color-surface-2);
}

tbody tr:last-child td {
  border-bottom: none;
}

td.mono {
  font-size: var(--text-xs);
  word-break: break-all;
}

/* ------------------------------------------------------------------- lists */
ul.plain {
  list-style: none;
  padding: 0;
  margin: 0 0 var(--space-4);
}

ul.plain li {
  padding-left: var(--space-5);
  position: relative;
  margin-bottom: var(--space-2);
  max-width: 66ch;
}

ul.plain li::before {
  content: '';
  position: absolute;
  left: 0;
  top: 0.7em;
  width: 0.4rem;
  height: 0.4rem;
  border-radius: 1px;
  background: var(--color-primary);
}

ul.plain.no li::before {
  background: var(--color-refused);
}

dl.pairs {
  margin: 0;
  display: grid;
  gap: var(--space-3);
}

dl.pairs > div {
  display: grid;
  gap: var(--space-1);
}

dl.pairs dt {
  font-family: var(--font-mono);
  font-size: var(--text-xs);
  text-transform: uppercase;
  letter-spacing: 0.07em;
  color: var(--color-text-muted);
}

dl.pairs dd {
  margin: 0;
  font-family: var(--font-mono);
  font-size: var(--text-xs);
  word-break: break-all;
}

/* --------------------------------------------------------------- callout */
.callout {
  border-left: 3px solid var(--color-caution);
  background: var(--color-caution-bg);
  padding: var(--space-4) var(--space-5);
  border-radius: 0 var(--radius-md) var(--radius-md) 0;
  margin-bottom: var(--space-6);
}

.callout.limit {
  border-left-color: var(--color-refused);
  background: var(--color-refused-bg);
}

.callout p:last-child {
  margin-bottom: 0;
}

.callout strong {
  color: var(--color-text);
}

/* --------------------------------------------------------- primary path */
.path {
  display: flex;
  flex-wrap: wrap;
  align-items: center;
  gap: var(--space-2);
  margin-bottom: var(--space-3);
}

.path-chip {
  font-family: var(--font-mono);
  font-size: var(--text-xs);
  padding: var(--space-2) var(--space-3);
  border-radius: var(--radius-sm);
  background: var(--color-primary-highlight);
  color: var(--color-primary-active);
  border: 1px solid color-mix(in srgb, var(--color-primary) 30%, transparent);
  white-space: nowrap;
}

[data-theme='dark'] .path-chip {
  color: var(--color-primary);
}

.path-chip.terminal {
  background: var(--color-surface-offset);
  color: var(--color-text-muted);
  border-style: dashed;
  border-color: var(--color-border);
}

.path-arrow {
  color: var(--color-text-faint);
  font-size: var(--text-sm);
  flex-shrink: 0;
}

/* -------------------------------------------------------- transition matrix */
table.matrix {
  border-collapse: separate;
  border-spacing: 0;
  font-size: var(--text-xs);
  /* Content width, not container width — a stretched grid puts absurd space
   * between the labels and the marks and makes rows hard to track. */
  width: max-content;
}

table.matrix th,
table.matrix td {
  padding: 0;
  border: none;
}

table.matrix th.corner {
  font-family: var(--font-mono);
  font-size: var(--text-xs);
  text-transform: none;
  letter-spacing: 0;
  padding: var(--space-2) var(--space-4);
  text-align: left;
  color: var(--color-text-muted);
  background: var(--color-surface-2);
  border-bottom: 1px solid var(--color-divider);
  border-right: 1px solid var(--color-divider);
  position: sticky;
  left: 0;
  z-index: 2;
}

table.matrix th.colnum {
  width: 2.25rem;
  min-width: 2.25rem;
  text-align: center;
  font-family: var(--font-mono);
  font-size: var(--text-xs);
  color: var(--color-text-muted);
  background: var(--color-surface-2);
  border-bottom: 1px solid var(--color-divider);
  padding: var(--space-2) 0;
  cursor: help;
}

table.matrix th.rowname {
  text-align: left;
  font-family: var(--font-mono);
  font-size: var(--text-xs);
  text-transform: none;
  letter-spacing: 0;
  font-weight: 400;
  color: var(--color-text);
  white-space: nowrap;
  padding: var(--space-2) var(--space-4) var(--space-2) var(--space-3);
  background: var(--color-surface);
  border-right: 1px solid var(--color-divider);
  border-bottom: 1px solid var(--color-divider);
  position: sticky;
  left: 0;
  z-index: 1;
}

.terminal-flag {
  display: inline-block;
  margin-left: var(--space-2);
  font-size: 0.6875rem;
  color: var(--color-text-faint);
  border: 1px dashed var(--color-border);
  border-radius: var(--radius-sm);
  padding: 0 var(--space-1);
  vertical-align: 1px;
}

table.matrix td.cell {
  text-align: center;
  vertical-align: middle;
  height: 2rem;
  border-bottom: 1px solid var(--color-divider);
  border-right: 1px solid color-mix(in srgb, var(--color-divider) 45%, transparent);
  font-family: var(--font-mono);
  line-height: 1;
  cursor: default;
}

table.matrix tbody tr:last-child td.cell,
table.matrix tbody tr:last-child th.rowname {
  border-bottom: none;
}

table.matrix td.cell.none {
  background: repeating-linear-gradient(
    45deg,
    transparent,
    transparent 4px,
    color-mix(in srgb, var(--color-divider) 40%, transparent) 4px,
    color-mix(in srgb, var(--color-divider) 40%, transparent) 5px
  );
}

table.matrix td.cell.yes {
  color: var(--color-verified);
  background: color-mix(in srgb, var(--color-verified-bg) 55%, transparent);
  cursor: help;
}

table.matrix td.cell.yes.primary {
  color: var(--color-verified);
  background: var(--color-verified-bg);
  font-size: var(--text-sm);
}

table.matrix td.cell.no {
  color: var(--color-refused);
  background: var(--color-refused-bg);
  font-weight: 500;
  cursor: help;
}

.key-mark {
  display: inline-grid;
  place-items: center;
  width: 1.25rem;
  height: 1.25rem;
  border-radius: var(--radius-sm);
  font-family: var(--font-mono);
  font-size: var(--text-xs);
  flex-shrink: 0;
}

.key-mark.primary,
.key-mark.yes {
  color: var(--color-verified);
  background: var(--color-verified-bg);
}

.key-mark.no {
  color: var(--color-refused);
  background: var(--color-refused-bg);
}

.key-mark.none {
  background: repeating-linear-gradient(
    45deg,
    transparent,
    transparent 4px,
    color-mix(in srgb, var(--color-divider) 60%, transparent) 4px,
    color-mix(in srgb, var(--color-divider) 60%, transparent) 5px
  );
  border: 1px solid var(--color-divider);
}

.legend {
  display: flex;
  flex-wrap: wrap;
  gap: var(--space-4);
  align-items: center;
  margin-top: var(--space-4);
  font-size: var(--text-xs);
  color: var(--color-text-muted);
}

.legend span {
  display: inline-flex;
  align-items: center;
  gap: var(--space-2);
}

/* The summary badge is a long single line of counts. It must be allowed to wrap,
 * or on a phone it pushes the whole document sideways. */
.legend .badge {
  white-space: normal;
  text-align: left;
  max-width: 100%;
}

/* -------------------------------------------------------------------- foot */
footer.site {
  border-top: 1px solid var(--color-divider);
  padding-block: var(--space-10);
  color: var(--color-text-muted);
  font-size: var(--text-sm);
}

footer.site a {
  color: var(--color-text-muted);
}

footer.site .foot-grid {
  display: grid;
  gap: var(--space-6);
  grid-template-columns: repeat(auto-fit, minmax(15rem, 1fr));
  margin-bottom: var(--space-8);
}

footer.site h4 {
  font-size: var(--text-xs);
  text-transform: uppercase;
  letter-spacing: 0.09em;
  color: var(--color-text);
  margin-bottom: var(--space-3);
  font-family: var(--font-mono);
}

footer.site ul {
  list-style: none;
  padding: 0;
  margin: 0;
}

footer.site li {
  margin-bottom: var(--space-2);
}

.selftest {
  display: flex;
  align-items: center;
  gap: var(--space-3);
  padding: var(--space-3) var(--space-4);
  border: 1px solid var(--color-border);
  border-radius: var(--radius-md);
  background: var(--color-surface);
  font-family: var(--font-mono);
  font-size: var(--text-xs);
  margin-bottom: var(--space-6);
  flex-wrap: wrap;
}

@media (prefers-reduced-motion: reduce) {
  *,
  *::before,
  *::after {
    animation-duration: 0.01ms !important;
    transition-duration: 0.01ms !important;
    scroll-behavior: auto !important;
  }
}

@media (max-width: 52rem) {
  /* The nav links matter on a phone — this page is one long scroll and the four
   * tools are the reason to be here. So the header wraps to a second row and the
   * links become a scrollable strip rather than being hidden. */
  header.site .bar {
    flex-wrap: wrap;
    row-gap: var(--space-2);
    padding-block: var(--space-3);
  }

  nav.site {
    order: 3;
    width: 100%;
    margin-left: 0;
    overflow-x: auto;
    overflow-y: hidden;
    scrollbar-width: none;
    -webkit-overflow-scrolling: touch;
    padding-bottom: 2px;
    gap: var(--space-1);
  }

  nav.site::-webkit-scrollbar {
    display: none;
  }

  nav.site a {
    padding-inline: var(--space-2);
  }

  .theme-toggle {
    margin-left: auto;
  }

  section {
    scroll-margin-top: 6.5rem;
  }

  .legend {
    gap: var(--space-3);
  }
}

/* ------------------------------------------------------------- utilities */
/* These exist because the site ships a content security policy without
 * style-src 'unsafe-inline', so a style attribute would simply not apply. */
.mt-4 { margin-top: var(--space-4); }
.mt-5 { margin-top: var(--space-5); }
.mt-6 { margin-top: var(--space-6); }
.mt-8 { margin-top: var(--space-8); }
.mt-10 { margin-top: var(--space-10); }
.min-11 { min-height: 11rem; }
.fs-sm { font-size: var(--text-sm); }
.fs-xs { font-size: var(--text-xs); }
.flush { margin: 0; }