:root {
  --seq-font-ui: Inter, ui-sans-serif, system-ui, -apple-system, Segoe UI, Roboto, Helvetica, Arial;
  --seq-font-display: "STIX Two Text", ui-serif, Georgia, Cambria, "Times New Roman", Times, serif;
  --seq-font-mono: "JetBrains Mono", ui-monospace, SFMono-Regular, Menlo, Monaco, Consolas, "Liberation Mono",
    "Courier New", monospace;
  --pico-font-family: var(--seq-font-ui);
  --pico-font-family-monospace: var(--seq-font-mono);
  --pico-border-radius: 0px;
  --pico-border-width: 1px;
  --pico-primary: #0047ff;
  --pico-primary-hover: #0036cc;
  --pico-primary-focus: rgba(0, 71, 255, 0.25);
}

h1,
h2,
h3,
h4,
h5,
h6 {
  font-family: var(--seq-font-display);
  letter-spacing: -0.02em;
}

.muted {
  color: var(--pico-muted-color);
}

.mono {
  font-family: var(--pico-font-family-monospace);
}

pre {
  font-size: 0.9em;
}

header.site-header {
  border-bottom: 1px solid var(--pico-muted-border-color, var(--pico-muted-color, rgba(128, 128, 128, 0.35)));
  backdrop-filter: blur(8px);
  position: sticky;
  top: 0;
  z-index: 10;
}

header.site-header nav.container {
  padding-top: 0.6rem;
  padding-bottom: 0.6rem;
}

.nav-brand {
  display: inline-flex;
  align-items: center;
  gap: 0.5rem;
}

nav a > i.ti {
  margin-right: 0.35rem;
}

button.icon-button {
  display: inline-flex;
  align-items: center;
  justify-content: center;
  padding: 0.35rem 0.55rem;
  line-height: 1;
}

button.icon-button > i.ti {
  margin-right: 0;
  font-size: 1.05em;
}

.view-toggle {
  display: inline-flex;
  align-items: center;
  gap: 0.35rem;
}

.view-toggle-button {
  padding: 0.35rem 0.55rem;
  line-height: 1;
  font-size: 0.9rem;
}

.view-toggle-button[aria-pressed="true"] {
  background: var(--pico-primary-background, var(--pico-primary));
  border-color: var(--pico-primary-border, var(--pico-primary));
  color: var(--pico-primary-inverse, white);
}

html[data-view="agent"] body {
  font-family: var(--seq-font-mono);
}

html[data-view="agent"] h1,
html[data-view="agent"] h2,
html[data-view="agent"] h3,
html[data-view="agent"] h4,
html[data-view="agent"] h5,
html[data-view="agent"] h6 {
  font-family: var(--seq-font-mono);
  letter-spacing: 0;
}

html[data-view="agent"] a {
  text-decoration: underline;
}

main.container > article {
  margin-top: 1.25rem;
}

.inline-links a + a {
  margin-left: 0.5rem;
}

.paper-card {
  border: 1px solid var(--pico-muted-border-color, var(--pico-muted-color, rgba(128, 128, 128, 0.35)));
  background: var(--pico-card-background-color, var(--pico-background-color));
  box-shadow: none;
}

.paper-table {
  width: 100%;
  border-collapse: collapse;
  font-size: 0.95rem;
}

.paper-table thead th {
  border-bottom: 2px solid var(--pico-muted-border-color, var(--pico-muted-color, rgba(128, 128, 128, 0.35)));
  font-weight: 600;
  padding: 0.55rem 0.6rem;
  white-space: nowrap;
}

.paper-table tbody td {
  border-bottom: 1px solid var(--pico-muted-border-color, var(--pico-muted-color, rgba(128, 128, 128, 0.35)));
  padding: 0.55rem 0.6rem;
  vertical-align: top;
}

.paper-table tbody tr:hover td {
  background: rgba(0, 0, 0, 0.03);
}

html[data-theme="dark"] .paper-table tbody tr:hover td {
  background: rgba(255, 255, 255, 0.04);
}

.state-badge {
  display: inline-flex;
  align-items: center;
  gap: 0.4rem;
  font-family: var(--seq-font-ui);
  font-size: 0.82rem;
  padding: 0.2rem 0.5rem;
  border: 1px solid var(--pico-muted-border-color, var(--pico-muted-color, rgba(128, 128, 128, 0.35)));
  background: transparent;
}

.state-badge::before {
  content: "";
  width: 0.45rem;
  height: 0.45rem;
  border-radius: 999px;
  background: var(--pico-muted-color);
}

.state-badge.state-hidden::before {
  background: #555;
}

.state-badge.state-freeze::before {
  background: #0047ff;
}

.state-badge.state-revealed::before {
  background: #0b7a2a;
}

.doc-body {
  max-width: 78ch;
}

.doc-body h1,
.doc-body h2,
.doc-body h3 {
  margin-top: 1.4rem;
}

.doc-body p {
  margin: 0.75rem 0;
}

.doc-body ul,
.doc-body ol {
  padding-left: 1.2rem;
}

.doc-body li {
  margin: 0.25rem 0;
}

.doc-body pre {
  border: 1px solid var(--pico-muted-border-color, var(--pico-muted-color, rgba(128, 128, 128, 0.35)));
  background: transparent;
  padding: 0.85rem;
  overflow: auto;
}

.doc-body code {
  font-family: var(--seq-font-mono);
}

pre.error-box {
  border: 1px solid var(--pico-muted-border-color, var(--pico-muted-color, rgba(128, 128, 128, 0.35)));
  border-left: 4px solid #0047ff;
  background: transparent;
  padding: 0.85rem;
  overflow: auto;
}

.landing-hero {
  margin-top: 1.25rem;
}

.landing-hero-grid {
  display: grid;
  grid-template-columns: minmax(0, 1.25fr) minmax(0, 1fr);
  gap: 1.25rem;
  align-items: start;
}

@media (max-width: 900px) {
  .landing-hero-grid {
    grid-template-columns: 1fr;
  }
}

.landing-title {
  font-size: 2.4rem;
  line-height: 1.05;
  margin-bottom: 0.75rem;
}

.landing-tagline {
  max-width: 56ch;
  font-size: 1.05rem;
}

.landing-cta {
  margin-top: 1.1rem;
  margin-bottom: 0.8rem;
}

.landing-primary,
.landing-secondary {
  font-family: var(--seq-font-ui);
}

.landing-footnote {
  margin: 0;
}

.landing-kicker {
  font-family: var(--seq-font-ui);
  text-transform: uppercase;
  letter-spacing: 0.06em;
  font-size: 0.78rem;
  color: var(--pico-muted-color);
}

.landing-focus-card header.landing-focus-header {
  margin-bottom: 0.65rem;
}

pre.landing-seq {
  background: transparent;
  border: 1px solid var(--pico-muted-border-color, var(--pico-muted-color, rgba(128, 128, 128, 0.35)));
  padding: 0.85rem;
  margin: 0.65rem 0;
  overflow: auto;
}

.landing-cards {
  margin-top: 1.25rem;
}

.landing-card-grid {
  display: grid;
  grid-template-columns: repeat(2, minmax(0, 1fr));
  gap: 1rem;
}

@media (max-width: 900px) {
  .landing-card-grid {
    grid-template-columns: 1fr;
  }
}

.landing-card-title {
  margin-bottom: 0.3rem;
}

.landing-metrics {
  display: grid;
  grid-template-columns: repeat(2, minmax(0, 1fr));
  gap: 0.75rem;
  margin: 0.75rem 0 0.85rem 0;
}

.landing-metric-value {
  font-size: 1.05rem;
}

dialog.token-dialog::backdrop {
  background: rgba(0, 0, 0, 0.82);
}

dialog.token-dialog {
  border: 0;
  padding: 0;
  max-width: 820px;
  width: calc(100vw - 2rem);
}

dialog.token-dialog > article.token-card {
  margin: 0;
}

pre.token-value {
  background: #000;
  color: #ffe100;
  border: 1px solid #ffe100;
  padding: 1rem;
  margin: 0.75rem 0;
}

.token-ack {
  margin: 0.5rem 0 0.75rem 0;
}