/* Force light mode */
html {
  color-scheme: light;
}

:root {
  /* Fonts */
  --ui-font:
    system-ui, -apple-system, Segoe UI, Roboto, Helvetica, Arial,
    "Apple Color Emoji", "Segoe UI Emoji";
  --code-font:
    "Fira Code", "JetBrains Mono", ui-monospace, SFMono-Regular, Menlo, Monaco,
    Consolas, "Liberation Mono", "Courier New", monospace;

  /* Core palette */
  --paper-bg: #f2f4f5;
  --surface: #ffffff;
  --surface-2: #e9edf0;
  --text: #1c232b; /* deep graphite */
  --muted: rgba(28, 35, 43, 0.68);
  --border: rgba(28, 35, 43, 0.16);

  /* Accent (muted warm/earthy) */
  --accent: #3d5f7a; /* desaturated blue */
  --accent-hover: #314d62; /* deep desaturated blue */
  --accent-soft: rgba(61, 95, 122, 0.14);

  /* Pico variable overrides (kept minimal) */
  --pico-background-color: var(--paper-bg);

  --pico-color: var(--text);
  --pico-muted-color: var(--muted);
  --pico-muted-border-color: var(--border);

  --pico-card-background-color: var(--surface);
  --pico-card-border-color: var(--border);
  --pico-card-sectioning-background-color: var(--surface-2);

  --pico-form-element-background-color: var(--surface);
  --pico-form-element-selected-background-color: var(--surface);
  --pico-form-element-border-color: var(--border);
  --pico-form-element-color: var(--text);
  --pico-form-element-placeholder-color: rgba(28, 35, 43, 0.45);
  --pico-form-element-active-background-color: #ffffff;
  --pico-form-element-active-border-color: rgba(61, 95, 122, 0.55);
  --pico-form-element-focus-color: rgba(61, 95, 122, 0.18);

  --pico-primary: var(--accent);
  --pico-primary-background: var(--accent);
  --pico-primary-border: rgba(61, 95, 122, 0.65);
  --pico-primary-hover: var(--accent-hover);
  --pico-primary-hover-background: var(--accent-hover);
  --pico-primary-hover-border: rgba(49, 77, 98, 0.75);
  --pico-primary-focus: rgba(61, 95, 122, 0.22);
  --pico-primary-inverse: #ffffff;

  --pico-secondary: var(--text);
  --pico-secondary-background: var(--surface);
  --pico-secondary-border: var(--border);
  --pico-secondary-hover: var(--text);
  --pico-secondary-hover-background: var(--surface);
  --pico-secondary-hover-border: rgba(28, 35, 43, 0.22);
  --pico-secondary-focus: rgba(61, 95, 122, 0.14);
  --pico-secondary-inverse: #ffffff;

  --pico-code-background-color: rgba(61, 95, 122, 0.08);
  --pico-code-color: var(--text);

  --pico-table-border-color: var(--border);
  --pico-blockquote-border-color: rgba(61, 95, 122, 0.35);
  --pico-blockquote-footer-color: var(--muted);

  --pico-mark-background-color: rgba(61, 95, 122, 0.22);
  --pico-mark-color: var(--text);

  --pico-dropdown-background-color: var(--surface);
  --pico-dropdown-border-color: var(--border);
  --pico-dropdown-color: var(--text);
  --pico-dropdown-hover-background-color: rgba(61, 95, 122, 0.06);

  --pico-modal-overlay-background-color: rgba(28, 35, 43, 0.55);

  --pico-progress-background-color: rgba(28, 35, 43, 0.12);
  --pico-progress-color: var(--accent);

  --pico-tooltip-background-color: #111827;
  --pico-tooltip-color: #ffffff;

  --pico-switch-background-color: rgba(28, 35, 43, 0.2);
  --pico-switch-checked-background-color: var(--accent);
  --pico-switch-color: #ffffff;

  --pico-range-border-color: rgba(28, 35, 43, 0.2);
  --pico-range-active-border-color: rgba(61, 95, 122, 0.55);
  --pico-range-thumb-border-color: var(--accent);
  --pico-range-thumb-color: var(--accent);
  --pico-range-thumb-active-color: var(--accent-hover);

  --pico-accordion-border-color: var(--border);
  --pico-accordion-active-summary-color: var(--text);
  --pico-accordion-close-summary-color: var(--text);
  --pico-accordion-open-summary-color: var(--text);

  --pico-box-shadow: 0 0.35rem 1.1rem rgba(28, 35, 43, 0.08);
}

/* Direct overrides with !important to beat Pico's @layer specificity */
html,
body {
  color: var(--text) !important;
  background: var(--paper-bg) !important;
}

body {
  font-family: var(--ui-font);
  font-variant-ligatures: contextual;
  text-rendering: geometricPrecision;
  line-height: 1.45;
}

/* Ensure form controls and buttons use the same UI font */
button,
input,
select,
textarea {
  font-family: var(--ui-font) !important;
  color: var(--text) !important;
}

/* Keep expression textarea/code in a coding font */
textarea,
code,
pre {
  font-family: var(--code-font) !important;
}

/* A little helper for screen-reader-only labels */
.sr-only {
  position: absolute !important;
  width: 1px !important;
  height: 1px !important;
  padding: 0 !important;
  margin: -1px !important;
  overflow: hidden !important;
  clip: rect(0, 0, 0, 0) !important;
  white-space: nowrap !important;
  border: 0 !important;
}

main.container {
  background-color: transparent !important;
  width: min(60rem, calc(100% - 1rem));
  margin-inline: auto;
}

article {
  background-color: var(--surface) !important;
  border: 1px solid var(--border) !important;
  box-shadow: var(--pico-box-shadow);
  border-radius: 0.85rem;
}

article.panel {
  background: transparent !important;
  padding: 1.2rem 1.2rem;
}

section {
  background-color: transparent !important;
}

header {
  background-color: transparent !important;
}

/* Textarea: more “editor” feel */
textarea {
  background-color: var(--surface) !important;
  border-color: var(--border) !important;
  border-radius: 0.9rem;

  /* Ensure it stays monospaced/code-like */
  font-family: var(--code-font) !important;

  /* Bigger box, slightly smaller font */
  min-height: 20rem;
  font-size: 0.81rem;
  line-height: 1.35;

  /* More “blackness” */
  font-weight: 500;
  color: rgba(18, 23, 28, 0.98) !important;

  padding: 1.05rem 1.1rem !important;
}

textarea:focus,
input:focus,
select:focus {
  border-color: rgba(61, 95, 122, 0.55) !important;
  box-shadow: 0 0 0 0.2rem rgba(61, 95, 122, 0.14) !important;
}

textarea::placeholder,
input::placeholder {
  color: rgba(28, 35, 43, 0.45) !important;
}

code,
pre {
  background-color: rgba(61, 95, 122, 0.08) !important;
  color: var(--text) !important;
  border-radius: 0.6rem;
}

/* Links */
a {
  color: var(--accent) !important;
  text-decoration-color: rgba(61, 95, 122, 0.45) !important;
}

a:hover,
a:focus {
  color: var(--accent-hover) !important;
  text-decoration-color: rgba(49, 77, 98, 0.55) !important;
}

/* Form spacing: give the layout more breathing room */
form {
  display: flex;
  flex-direction: column;
  gap: 0.4rem;
}

/* Top-level checkboxes (Include Prelude, Show beta reductions) */
form > label {
  font-size: 0.85rem;
  font-weight: 500;
  align-items: center;
  color: rgba(28, 35, 43, 0.78);
}

/* Primary action button: less “giant”, more terminal-y */
button[type="submit"] {
  background: var(--accent) !important;
  color: #ffffff !important;
  border: 1px solid rgba(61, 95, 122, 0.75) !important;
  box-shadow: 0 0.45rem 1.05rem rgba(61, 95, 122, 0.14);
  border-radius: 0.85rem;

  padding: 0.7rem 0.95rem !important;
  font-size: 1rem !important;
  letter-spacing: 0.01em;
}

button[type="submit"]:hover {
  background: var(--accent-hover) !important;
  border-color: rgba(49, 77, 98, 0.85) !important;
}

button[type="submit"]:focus {
  box-shadow:
    0 0 0 0.2rem rgba(61, 95, 122, 0.2),
    0 0.45rem 1.05rem rgba(61, 95, 122, 0.14) !important;
}

/* Keep other buttons neutral */
button:not([type="submit"]),
[type="button"],
[role="button"] {
  background-color: var(--surface) !important;
  color: var(--text) !important;
  border-color: var(--border) !important;
  border-radius: 0.85rem;
}

button:not([type="submit"]):hover,
[type="button"]:hover,
[role="button"]:hover {
  background-color: rgba(61, 95, 122, 0.06) !important;
  border-color: rgba(61, 95, 122, 0.28) !important;
}

/* Header: more “hacky”, less marketing */
h1 {
  margin-bottom: 0.15rem;
  letter-spacing: -0.02em;
  font-weight: 750;
  font-size: clamp(1.55rem, 2.6vw, 2.35rem);
}

.page-header {
  text-align: center;
  padding-top: 2.25rem;
  padding-bottom: 1.15rem;
}

.page-header .subtitle {
  margin-top: 0.2rem;
  color: var(--pico-muted-color);
  max-width: 52rem;
  margin-left: auto;
  margin-right: auto;
  font-size: 0.98rem;
}

/* Icon sizing helper */
.ui-icon {
  width: 1rem;
  height: 1rem;
  display: block;
}

.ui-icon--sm {
  width: 0.78rem;
  height: 0.78rem;
}

.ui-icon--lg {
  width: 1.15rem;
  height: 1.15rem;
}

/* Accordion: top helper content */
.info-accordion {
  margin: 0 auto 1rem auto;
  max-width: 60rem;
}

.info-accordion details {
  background: var(--paper-bg) !important;
  border: 1px solid var(--border) !important;
  border-radius: 0.75rem;
  padding: 0.6rem 0.85rem;
  box-shadow: var(--pico-box-shadow);
}

.info-accordion details + details {
  margin-top: 0.6rem;
}

.info-accordion summary {
  gap: 0.01rem;
  font-size: 0.85rem;
  font-weight: 550;
  letter-spacing: 0.01em;
}

.info-accordion summary:focus,
.info-accordion summary:focus-visible,
.info-accordion summary:active,
.info-accordion details[open] > summary {
  color: var(--text) !important;
}

.info-accordion h3,
.info-accordion h4,
.info-accordion h5,
.info-accordion h6 {
  margin: 0.75rem 0 0.25rem 0;
  letter-spacing: -0.01em;
}

.info-accordion h4 {
  font-size: 0.95rem;
}

.info-accordion h5 {
  font-size: 0.85rem;
}

.info-accordion h6 {
  font-size: 0.8rem;
}

.info-accordion p,
.info-accordion ul,
.info-accordion ol,
.info-accordion blockquote {
  margin: 0.6rem 0 0.1rem 0 !important;
  font-size: 0.75rem;
  color: rgba(28, 35, 43, 0.84);
}

.info-accordion blockquote {
  margin: 0.4rem 0 0.35rem 0 !important;
  padding: 0.35rem 0.7rem !important;
  border-left-width: 0.2rem;
  background: transparent !important;
}

.info-accordion blockquote > p {
  margin: 0.15rem 0 !important;
}

.info-accordion pre {
  margin: 0.35rem 0 0.25rem 0 !important;
  padding: 0.6rem 0.75rem !important;
  font-size: 0.72rem !important;
  line-height: 1.35 !important;
}

.info-accordion pre code {
  font-size: 0.72rem !important;
  background: transparent !important;
  padding: 0 !important;
}

.info-accordion p + pre,
.info-accordion blockquote + pre,
.info-accordion ul + pre,
.info-accordion ol + pre {
  margin-top: 0.25rem !important;
}

/* --- Strategy area: smaller, cleaner typography --- */
fieldset {
  border: 0.5px solid var(--border) !important;
  background: var(--surface-2) !important;
  border-radius: 0.2rem;
  padding: 0.25rem 0.5rem !important;

  display: flex;
  flex-wrap: wrap;
  gap: 0.5rem 0.8rem;
  align-items: center;
}

fieldset > legend {
  flex: 0 0 100%;
  margin: 0 0 0.25rem 0 !important;
  padding: 0 0.15rem;
  font-size: 0.65rem;
  font-weight: 650;
  letter-spacing: 0;
  color: rgba(28, 35, 43, 0.7);
}

@media (max-width: 576px) {
  fieldset {
    flex-direction: column;
    align-items: flex-start;
    gap: 0.55rem;
  }
}

/* Strategy rows */
.strategy-row {
  display: inline-flex;
  align-items: center;
  gap: 0.45rem;
  padding: 0.15rem 0;
  width: auto;
}

.strategy-row > label {
  display: inline-flex !important;
  align-items: center;
  gap: 0.45rem;
  margin: 0 !important;
  white-space: nowrap;
  font-size: 0.8rem;
  font-weight: 520;
  letter-spacing: 0;
}

.strategy-row > label > span {
  color: rgba(28, 35, 43, 0.86);
}

.strategy-row input[type="radio"] {
  margin: 0 !important;
  transform: translateY(0.5px) scale(0.9);
}

/* Hint button + tooltip — smaller */
.hint-wrap {
  position: relative;
  display: inline-block;
  align-self: center;
}

button.hint {
  appearance: none;
  -webkit-appearance: none;

  width: 1.2rem !important;
  height: 1.2rem !important;
  padding: 0 !important;
  border-radius: 0.45rem !important;

  display: inline-flex !important;
  align-items: center;
  justify-content: center;

  color: var(--accent) !important;
  border: 1px solid rgba(61, 95, 122, 0.22) !important;
  background: var(--surface) !important;

  cursor: pointer;
  box-shadow: 0 0.12rem 0.38rem rgba(28, 35, 43, 0.04);
}

button.hint:hover {
  background: rgba(61, 95, 122, 0.06) !important;
  border-color: rgba(61, 95, 122, 0.4) !important;
}

button.hint:focus {
  outline: none;
  box-shadow:
    0 0 0 0.14rem rgba(61, 95, 122, 0.14),
    0 0.12rem 0.38rem rgba(28, 35, 43, 0.04) !important;
}

.hint-wrap .tooltip {
  display: none;
  position: absolute;
  left: 0;
  top: calc(100% + 0.4rem);
  z-index: 2000;
  box-sizing: border-box;
  width: min(30rem, 88vw);
  padding: 0.55rem 0.7rem;

  background: var(--surface) !important;
  color: var(--text);
  border: 1px solid rgba(28, 35, 43, 0.14);
  border-radius: 0.75rem;
  box-shadow: var(--pico-box-shadow);

  font-size: 0.85rem;
  line-height: 1.35;
  text-align: left;
  white-space: normal;
  overflow-wrap: anywhere;
}

/* Prevent tooltip truncation/off-screen on mobile */
@media (max-width: 576px) {
  .hint-wrap .tooltip {
    left: 50%;
    transform: translateX(-50%);
    width: calc(100vw - 2rem);
    max-width: 28rem;
  }
}

/* Show tooltip on hover (desktop) and while focused (click/tap) */
.hint-wrap:hover .tooltip,
.hint-wrap:focus-within .tooltip {
  display: block;
}

/* --- Results: simple "paper" boxes --- */
#results {
  margin-top: 1.4rem;
  padding-top: 1.1rem;
  border-top: 1px solid var(--border);
}

#outputSection,
#statsSection,
#stepsSection {
  margin: 0 0 1rem 0;
}

.result-label {
  margin: 0 0 0.6rem 0;
  font-weight: 700;
  color: rgba(36, 38, 32, 0.92);
  letter-spacing: 0.015em;
  font-size: 0.92rem;
}

.result-pre {
  white-space: pre-wrap;
  overflow-x: auto;

  background: rgba(36, 38, 32, 0.04) !important;
  border: 1px solid rgba(36, 38, 32, 0.12) !important;
  padding: 1.05rem 1.15rem !important;
  margin: 0 !important;
  border-radius: 0.6rem !important;

  color: var(--text) !important;
  font-size: 1rem;
  line-height: 1.55;
  tab-size: 2;
}

.result-box {
  background: rgba(36, 38, 32, 0.03) !important;
  border: 1px solid rgba(36, 38, 32, 0.12) !important;
  padding: 0.95rem 1.05rem !important;
  margin: 0 !important;
  border-radius: 0.6rem !important;
  line-height: 1.5;
}

#statsContent {
  font-size: 0.96rem;
  color: rgba(36, 38, 32, 0.82);
  letter-spacing: 0.005em;
}

/* Details summaries */
details > summary[role="button"] {
  width: fit-content !important;
}

/* --- HTMX loading indicator for Evaluate button (no JS) --- */
#evalButton {
  position: relative;
}

#evalButton.htmx-request {
  opacity: 0.85;
  cursor: progress;
  padding-right: 2.4rem;
}

#evalButton.htmx-request::after {
  content: "";
  position: absolute;
  right: 0.9rem;
  top: 50%;
  width: 1rem;
  height: 1rem;
  margin-top: -0.5rem;
  border: 2px solid rgba(255, 255, 255, 0.45);
  border-top-color: #fff;
  border-radius: 50%;
  animation: evalspin 0.8s linear infinite;
}

@keyframes evalspin {
  to {
    transform: rotate(360deg);
  }
}