/* SemIf browser lab — edulab "Editorial Color" skin. Every colour and font comes from tokens.css. */

/* ─── Base ─── */
* { box-sizing: border-box; }
[v-cloak] { display: none; }
[hidden] { display: none !important; }
html, body { margin: 0; padding: 0; }
body.edu { background: var(--paper); color: var(--ink); font-family: var(--font-sans); font-size: var(--body); line-height: 1.6; }
a { color: var(--blue-600); text-decoration-thickness: 1px; text-underline-offset: 2px; }
a:hover { color: var(--ink); }
:focus-visible { outline: 3px solid transparent; outline-offset: 2px; box-shadow: var(--focus-ring); border-radius: var(--r-xs); }

/* ─── Shared chrome ─── */
.edu-header { position: sticky; top: 0; z-index: 50; width: 100%; background: var(--paper); border-bottom: 1px solid var(--line-2); }
.edu-header-inner { max-width: 1100px; margin: 0 auto; padding: 8px 30px; display: flex; align-items: center; gap: 12px; }
.edu-logo { width: 64px; height: 64px; display: block; margin-right: -6px; }
.edu-wordmark { font-family: var(--font-display); font-weight: 700; font-size: 22px; letter-spacing: -.02em; color: var(--ink); }
.header-app { margin-left: auto; font-family: var(--font-mono); font-size: var(--overline); letter-spacing: .14em; text-transform: uppercase; color: var(--ink-2); }
.page-nav { margin-left: auto; display: flex; gap: 4px; }
.header-app + .page-nav { margin-left: 12px; }
.page-nav a { padding: 8px 14px; border-radius: var(--r-pill); font-family: var(--font-display); font-weight: 600; font-size: var(--body-sm); color: var(--ink-2); text-decoration: none; }
.page-nav a:hover { background: var(--paper-2); color: var(--ink); }
.page-nav a[aria-current="page"] { background: var(--ink); color: var(--paper); }

/* ─── Layout ─── */
.page { margin: 0; padding: 0; }
.wrap { max-width: 1100px; margin: 0 auto; padding: 0 30px; display: grid; gap: var(--sp-6); }
.wrap > *, .card, .lane, .race, .inputs > * { min-width: 0; }
.page-header { max-width: 1100px; margin: 0 auto; padding: 44px 30px 36px; text-align: left; }
.intro-wrap { padding-top: 0; padding-bottom: 52px; }
.intro-wrap::before { content: ""; height: 1px; margin-bottom: var(--sp-2); background: var(--line-2); }
.app-title { margin: 0 0 14px; font-family: var(--font-display); font-weight: 800; font-size: clamp(2.3rem, 5vw, 3.3rem); letter-spacing: -.025em; line-height: 1.05; color: var(--ink); }
.edu-lead { margin: 0; font-size: 1.15rem; line-height: 1.6; color: var(--ink-2); }

/* ─── Section bands ─── */
.sec { margin: 0; padding: 52px 0 60px; border-top: 1px solid var(--line); }
.sec:nth-of-type(odd) { background: var(--paper-2); }
.sec-head { display: flex; align-items: center; gap: 14px; flex-wrap: wrap; }
.sec-head h2 { order: 0; }
.sec-head::after { content: ""; order: 1; flex: 1; min-width: 40px; height: 1px; background: var(--line-2); }
.sec-head .btn { order: 2; }
.research-notice { margin: var(--sp-4) 0 0; font-family: var(--font-mono); font-size: var(--caption); color: var(--ink-3); }
.research-notice a { color: var(--ink-2); }

.intro { display: grid; grid-template-columns: 1fr 1fr; gap: var(--sp-8); padding: 34px 36px; border-radius: var(--r-xl); background: var(--blue-soft); color: var(--blue-ink); }
.intro .edu-overline { color: inherit; }
.intro h3 { margin: 10px 0 8px; font-family: var(--font-display); font-weight: 600; font-size: var(--h3); line-height: 1.2; letter-spacing: -.01em; }
.intro p { margin: 0; font-size: var(--body); line-height: 1.55; }

.card { background: var(--surface); border: 1px solid var(--line-2); border-radius: var(--r-xl); box-shadow: var(--shadow-sm); padding: 28px; }
.lane-head { display: flex; align-items: center; justify-content: space-between; gap: var(--sp-3); flex-wrap: wrap; }
.section-head h2 { margin: 0; font-family: var(--font-display); font-weight: 600; font-size: var(--h2); line-height: 1.15; letter-spacing: -.015em; color: var(--ink); }
.lane h2 { margin: 0; font-family: var(--font-display); font-weight: 600; font-size: var(--h4); line-height: 1.2; letter-spacing: -.01em; color: var(--ink); }
.fine { margin: var(--sp-4) 0 0; color: var(--ink-3); font-size: var(--caption); line-height: 1.5; }

/* ─── Buttons ─── */
.btn { display: inline-flex; align-items: center; justify-content: center; gap: 8px; border: none; border-radius: var(--r-pill); padding: 12px 22px; background: var(--yellow); color: var(--on-primary); font-family: var(--font-display); font-weight: 600; font-size: var(--body-sm); cursor: pointer; box-shadow: var(--shadow-primary); transition: background-color .15s ease, transform .12s cubic-bezier(.32,.72,.32,1); }
.btn:hover:not(:disabled) { background: var(--yellow-600); }
.btn:active:not(:disabled) { transform: scale(.96); }
.btn:disabled { cursor: not-allowed; opacity: .45; box-shadow: none; }
.btn-secondary { background: var(--paper-2); color: var(--ink); box-shadow: none; }
.btn-secondary:hover:not(:disabled) { background: var(--paper-3); }
.btn-small { padding: 8px 14px; font-size: var(--caption); }
.lucide { width: 18px; height: 18px; flex: none; }
.support-icon { display: inline-flex; }
.spin { animation: spin 1s linear infinite; }
@keyframes spin { to { transform: rotate(360deg); } }

/* ─── Setup ─── */
.quality-card { border: 1px solid var(--line-2); border-radius: var(--r-lg); overflow: hidden; background: var(--surface); box-shadow: var(--shadow-sm); }
.quality-heading { display: flex; justify-content: space-between; align-items: center; gap: var(--sp-3); padding: 12px 16px; border-bottom: 1px solid var(--line); background: var(--paper-2); }
.quality-scroll { overflow-x: auto; }
.quality-card table { width: 100%; border-collapse: collapse; font-family: var(--font-mono); font-size: var(--caption); }
.quality-card th, .quality-card td { padding: 10px 16px; border-bottom: 1px solid var(--line); text-align: right; white-space: nowrap; }
.quality-card td { font-variant-numeric: tabular-nums; color: var(--ink-2); }
.quality-card th { font-weight: 500; color: var(--ink); background: var(--paper-3); border-bottom-color: var(--line-2); text-transform: uppercase; letter-spacing: .08em; font-size: var(--overline); }
.quality-card tbody tr:nth-child(even) td { background: var(--paper-2); }
.quality-card tbody tr:last-child td { border-bottom: none; }
.quality-card td:first-child { color: var(--ink); }
.quality-card th:first-child, .quality-card td:first-child { text-align: left; font-family: var(--font-sans); font-weight: 600; }
.quality-card tbody tr.selected td { background: var(--yellow-soft); color: var(--yellow-ink); }
.quality-card > p { margin: 0; padding: 10px 16px; border-top: 1px dashed var(--line-2); }

.support { display: flex; align-items: center; gap: 10px; margin: 0; padding: 12px 16px; border-radius: var(--r-md); background: var(--surface); border: 1px solid var(--line-2); color: var(--ink); font-weight: 500; font-size: var(--body-sm); }
.support.ok { background: var(--green-soft); border-color: var(--green-soft); color: var(--green-ink); }
.support.error { background: var(--red-soft); border-color: var(--red-soft); color: var(--red-ink); }

.phases { display: grid; grid-template-columns: 1.5fr 1fr 1fr; gap: var(--sp-3); }
.phase { padding: 16px 18px; border-radius: var(--r-lg); background: var(--surface); border: 1px solid var(--line-2); min-height: 118px; }
.phase small { display: block; color: var(--ink-2); }
.phase strong { display: block; margin: 12px 0 8px; font-family: var(--font-display); font-weight: 700; font-size: var(--h3); line-height: 1; color: var(--ink); }
.phase span { display: block; color: var(--ink-3); font-size: var(--caption); line-height: 1.4; }
.meter { height: 8px; margin: 0 0 8px; border-radius: var(--r-pill); background: var(--track); overflow: hidden; }
.meter i { display: block; width: 0; height: 100%; background: var(--yellow); transition: width .15s; }

/* ─── Workbench ─── */
.presets { display: flex; align-items: center; flex-wrap: wrap; gap: var(--sp-2); }
.presets .edu-overline { margin-right: var(--sp-1); color: var(--ink-2); }
.inputs { display: grid; grid-template-columns: 1.2fr 1fr; gap: var(--sp-5); }
.inputs > label:first-child { grid-row: span 2; }
.inputs label { display: block; }
.inputs label .edu-overline, .inputs legend { color: var(--ink); font-size: 12px; letter-spacing: .1em; }
.inputs textarea, .inputs input { display: block; width: 100%; margin-top: 8px; border: 1px solid var(--line-strong); border-radius: var(--r-sm); background: var(--surface); padding: 12px 14px; color: var(--ink); font-family: var(--font-sans); font-size: var(--body-sm); line-height: 1.5; }
.inputs textarea:focus, .inputs input:focus { outline: 3px solid transparent; border-color: var(--ink); box-shadow: var(--focus-ring); }
.inputs textarea { height: calc(100% - 28px); min-height: 160px; resize: vertical; }
.inputs fieldset { margin: 0; border: 1px solid var(--line-2); border-radius: var(--r-lg); padding: 14px 16px 12px; background: var(--paper-2); }
.inputs fieldset legend { padding: 0 6px; }
.inputs fieldset label.option-row { display: flex; align-items: center; gap: 10px; margin-top: 8px; }
.inputs fieldset b { width: 22px; font-family: var(--font-display); font-weight: 700; color: var(--ink); }
.inputs fieldset input { margin: 0; }
.option-actions { display: grid; grid-template-columns: auto 1fr auto; align-items: center; gap: var(--sp-2); margin-top: 12px; padding-top: 12px; border-top: 1px solid var(--line-2); }
.option-actions span { text-align: center; font-family: var(--font-mono); font-size: var(--caption); color: var(--ink-3); }
.option-actions .btn-secondary { background: var(--surface); border: 1px solid var(--line-strong); }

/* ─── Method map ─── */
.method-map { display: grid; grid-template-columns: 1.15fr auto 1fr auto 1.4fr; gap: var(--sp-3); align-items: center; }
.method-map > div:not(.arrow):not(.fork), .method-outputs div { padding: 16px 18px; border-radius: var(--r-lg); background: var(--paper-2); }
.method-map small { display: block; margin-bottom: 8px; color: inherit; }
.method-map strong { font-family: var(--font-display); font-weight: 600; font-size: var(--body); }
.method-model { background: var(--yellow-soft) !important; color: var(--yellow-ink); }
.method-outputs { display: grid; gap: var(--sp-2); }
.method-outputs div:first-child { background: var(--blue-soft); color: var(--blue-ink); }
.method-outputs div:last-child { background: var(--green-soft); color: var(--green-ink); }
.arrow, .fork { text-align: center; font-size: 1.4rem; font-weight: 700; color: var(--ink-3); }
.method-outputs i { font-style: normal; animation: token 1.8s infinite; }
.method-outputs i:nth-child(2) { animation-delay: .15s; }
.method-outputs i:nth-child(3) { animation-delay: .3s; }
.method-outputs i:nth-child(4) { animation-delay: .45s; }
.method-outputs i:nth-child(5) { animation-delay: .6s; }
@keyframes token { 0%, 20% { opacity: .25; } 35%, 100% { opacity: 1; } }

/* ─── Results ─── */
.race { display: grid; grid-template-columns: 1fr 1fr; gap: var(--sp-5); }
.lane { display: flex; flex-direction: column; min-height: 420px; padding: 0; overflow: hidden; }
.lane-head { padding: 14px 22px; background: var(--paper-2); border-bottom: 1px solid var(--line); }
.lane-body { flex: 1; display: flex; flex-direction: column; padding: 18px 22px 4px; }
.lane .metrics { padding: 14px 22px 18px; border-top: 1px dashed var(--line-2); }
.chip { display: inline-block; font-family: var(--font-mono); font-size: 11px; text-transform: uppercase; letter-spacing: .08em; padding: 4px 10px; border-radius: var(--r-pill); white-space: nowrap; }
.chip-blue { background: var(--blue-soft); color: var(--blue-ink); }
.chip-green { background: var(--green-soft); color: var(--green-ink); }
.explain { margin: 0; min-height: 58px; color: var(--ink-2); font-size: var(--body-sm); line-height: 1.5; }
.output { flex: 1; margin: 10px 0 16px; border-top: 1px solid var(--line); padding: 14px 0; white-space: pre-wrap; overflow-wrap: anywhere; font-family: var(--font-mono); font-size: var(--body-sm); line-height: 1.6; color: var(--ink); }
.output.empty { color: var(--ink-3); }
.choice { display: grid; grid-template-columns: minmax(130px, 1.2fr) 1fr 56px; gap: 10px; align-items: center; margin: 0 0 12px; }
.choice-label { display: grid; grid-template-columns: 22px 1fr; align-items: center; gap: 6px; min-width: 0; }
.choice-label b { font-family: var(--font-display); font-weight: 700; }
.choice-label small { overflow: hidden; text-overflow: ellipsis; white-space: nowrap; font-family: var(--font-sans); font-size: var(--caption); color: var(--ink-2); }
.bar { height: 18px; border-radius: var(--r-pill); background: var(--paper-3); overflow: hidden; }
.bar i { display: block; height: 100%; background: var(--yellow); border-radius: var(--r-pill); }
.choice em { font-style: normal; text-align: right; font-family: var(--font-display); font-weight: 600; }
.metrics { display: grid; grid-template-columns: repeat(3, 1fr); gap: var(--sp-2); margin: 0; }
.generated .metrics { grid-template-columns: repeat(4, 1fr); }
.metrics div { padding: 10px 12px; border-radius: var(--r-md); background: var(--paper-2); }
.metrics dt { color: var(--ink-2); }
.metrics dd { margin: 6px 0 0; font-family: var(--font-display); font-weight: 700; font-size: var(--body-lg); color: var(--ink); }

.verdict { display: grid; grid-template-columns: 1fr auto; align-items: center; gap: var(--sp-3); padding: 30px 32px; border-radius: var(--r-xl); background: var(--ink); color: var(--paper); }
.verdict .edu-overline { color: color-mix(in srgb, var(--paper) 55%, transparent); }
.verdict strong { font-family: var(--font-display); font-weight: 600; font-size: var(--h2); color: var(--yellow); }
.verdict p { grid-column: 1 / -1; margin: 6px 0 0; color: var(--paper); font-size: var(--body-sm); line-height: 1.55; }

/* ─── Details ─── */
details.card { padding: 0; overflow: hidden; }
details.card[open] > summary { background: var(--paper-2); border-bottom: 1px solid var(--line); }
summary { cursor: pointer; padding: 20px 28px; font-family: var(--font-display); font-weight: 600; font-size: var(--h4); color: var(--ink); list-style: none; display: flex; align-items: center; gap: 10px; }
summary::before { content: ""; width: 10px; height: 10px; border-radius: 50%; background: var(--yellow); flex: none; }
summary::-webkit-details-marker { display: none; }
.details-prose { max-width: 760px; padding: 4px 28px 24px; }
.details-prose p, .details-prose li { font-family: var(--font-sans); font-size: var(--body); line-height: 1.6; color: var(--ink-2); }
.details-prose p { margin: 14px 0 0; }
.details-prose b { color: var(--ink); }
.details-prose ul { margin: 10px 0 0; padding-left: 22px; }
.details-prose li { margin: 6px 0; }
.details-prose code { font-family: var(--font-mono); font-size: .9em; color: var(--ink); background: var(--paper-3); padding: .12em .4em; border-radius: var(--r-xs); }

footer { display: flex; justify-content: space-between; gap: var(--sp-4); padding-top: var(--sp-4); border-top: 1px solid var(--line-2); font-family: var(--font-mono); font-size: var(--caption); color: var(--ink-3); }
footer a { color: var(--ink-2); }

@media (prefers-reduced-motion: reduce) { .method-outputs i, .spin { animation: none; } }

/* ─── Responsive ─── */
@media (max-width: 768px) {
  .edu-header-inner { padding: 6px 16px; }
  .header-app { display: none; }
  .edu-wordmark { display: none; }
  .page-nav a { padding: 8px 10px; font-size: var(--caption); }
  .wrap { padding: 0 16px; gap: var(--sp-4); }
  .page-header { padding: 28px 16px 32px; }
  .intro-wrap { padding-bottom: 36px; }
  .sec { padding: 36px 0 44px; }
  .card { padding: 20px; border-radius: var(--r-lg); }
  .lane, details.card { padding: 0; }
  .lane-head { flex-direction: column; align-items: flex-start; padding: 12px 18px; }
  .lane-body { padding: 16px 18px 4px; }
  .lane .metrics { padding: 12px 18px 16px; }
  .section-head .btn { width: 100%; }
  .btn { min-height: 44px; touch-action: manipulation; }
  .inputs textarea, .inputs input { font-size: 16px; }
  .presets { align-items: stretch; }
  .presets .edu-overline { width: 100%; }
  .presets .btn { flex: 1; }
  .phases, .race, .inputs, .method-map, .intro { grid-template-columns: 1fr; }
  .intro { padding: 24px 22px; gap: var(--sp-5); }
  .phase { min-height: auto; }
  .inputs > label:first-child { grid-row: auto; }
  .arrow, .fork { transform: rotate(90deg); }
  .lane { min-height: 360px; }
  .choice { grid-template-columns: minmax(90px, 1.15fr) .85fr 46px; gap: 6px; }
  .generated .metrics { grid-template-columns: repeat(2, 1fr); }
  .verdict { grid-template-columns: 1fr; padding: 22px; }
  .quality-heading { flex-direction: column; align-items: flex-start; }
  .quality-card th, .quality-card td { padding: 8px 10px; }
  summary { padding: 16px 20px; }
  .details-prose { padding: 0 20px 20px; }
  footer { flex-direction: column; }
}