/* EDU-CRYPTO — same visual language as EDU-16 / EDU-NET / EDU-REGEX / EDU-SQL:
   a tribute to Olivetti's desktop machines — warm putty chassis, engraved labels,
   mechanical keycaps, and dark phosphor-green display insets for everything the
   machine "shows" (here: the message grid, the pipeline, the step log). One
   stylesheet shared by the hub and all three floors. */

:root {
  --chassis: #e3ddcd;
  --chassis-deep: #d3ccb8;
  --panel: #f1ede1;
  --panel-edge: #c4bca6;
  --ink: #34322b;
  --ink-soft: #7c7663;
  --olivetti: #c8442c;
  --olivetti-dark: #a83620;
  --screen: #20251e;
  --screen-edge: #14170f;
  --phosphor: #93e8bb;
  --phosphor-dim: #5d8f74;
  --phosphor-soft: #b9f0d3;
  --amber: #e4b04a;
  --violet: #c8a6e8;
  --cyan: #7ad4e8;
  --pass: #3d7a4f;
  --fail: #b23a2c;
  --mono: ui-monospace, "SF Mono", "Cascadia Mono", "JetBrains Mono", Menlo, Consolas, monospace;
  --sans: "Avenir Next", "Segoe UI", system-ui, -apple-system, sans-serif;
}

* { box-sizing: border-box; margin: 0; padding: 0; }
[hidden] { display: none !important; }
html, body { height: 100%; }

body {
  font-family: var(--sans);
  color: var(--ink);
  background: radial-gradient(ellipse at 30% -10%, #efeadb 0%, var(--chassis) 55%, var(--chassis-deep) 100%);
  display: flex;
  flex-direction: column;
  min-height: 100%;
}

button { font: inherit; cursor: pointer; }
a { color: var(--olivetti-dark); text-decoration: none; }

/* ---------- header ---------- */

.top {
  display: flex; align-items: center; justify-content: space-between;
  gap: 1rem; padding: 0.7rem 1.2rem;
  border-bottom: 2px solid var(--panel-edge); flex-wrap: wrap;
}
.brand { display: flex; align-items: center; gap: 0.75rem; }
.brand-mark {
  font-family: var(--mono); font-weight: 700; font-size: 1.1rem;
  color: var(--panel); background: var(--olivetti); border-radius: 8px;
  padding: 0.4rem 0.55rem; letter-spacing: 0.02em; line-height: 1;
  box-shadow: inset 0 -2px 0 rgb(0 0 0 / 0.25); display: inline-block;
}
.brand-text h1 { font-family: var(--mono); font-size: 1.15rem; letter-spacing: 0.06em; line-height: 1.1; }
.brand-sub { font-size: 0.62rem; letter-spacing: 0.3em; color: var(--ink-soft); font-weight: 600; vertical-align: 0.15em; }
.brand-tag { font-size: 0.72rem; color: var(--ink-soft); font-style: italic; }
.top-nav { display: flex; align-items: center; gap: 0.5rem; flex-wrap: wrap; }
.lang-switch { display: flex; border: 1px solid var(--panel-edge); border-radius: 6px; overflow: hidden; margin-left: 0.4rem; }
.lang-switch button { border: 0; background: var(--panel); color: var(--ink-soft); font-size: 0.7rem; font-weight: 700; letter-spacing: 0.08em; padding: 0.35rem 0.55rem; }
.lang-switch button.active { background: var(--ink); color: var(--panel); }

/* ---------- keycap buttons ---------- */

.btn {
  font-size: 0.78rem; font-weight: 600; letter-spacing: 0.06em; color: var(--ink);
  background: linear-gradient(#faf7ee, #eae5d5); border: 1px solid var(--panel-edge);
  border-radius: 7px; padding: 0.42rem 0.85rem;
  box-shadow: 0 2px 0 var(--panel-edge), 0 3px 4px rgb(0 0 0 / 0.08);
  transition: transform 60ms, box-shadow 60ms; display: inline-block;
}
.btn:hover { transform: translateY(-1px); }
.btn:active { transform: translateY(2px); box-shadow: 0 0 0 var(--panel-edge); }
.btn:disabled { opacity: 0.45; cursor: not-allowed; transform: none; }
.btn-primary { color: var(--panel); background: linear-gradient(var(--olivetti), var(--olivetti-dark)); border-color: var(--olivetti-dark); box-shadow: 0 2px 0 var(--olivetti-dark), 0 3px 5px rgb(0 0 0 / 0.15); }
.btn-ghost { background: transparent; box-shadow: none; border-color: transparent; }
.btn-ghost:hover { background: rgb(0 0 0 / 0.04); }

/* ---------- workbench layout ---------- */

.workbench {
  flex: 1; display: grid; gap: 1rem; padding: 1rem 1.2rem;
  grid-template-columns: minmax(280px, 340px) minmax(0, 1fr) minmax(260px, 320px);
  align-items: start;
}
@media (max-width: 1100px) { .workbench { grid-template-columns: 1fr; } }

.card {
  background: var(--panel); border: 1px solid var(--panel-edge); border-radius: 12px;
  box-shadow: 0 1px 0 #fff inset, 0 6px 14px rgb(0 0 0 / 0.06);
  overflow: hidden; margin-bottom: 1rem;
}
.card-head {
  display: flex; align-items: center; justify-content: space-between; gap: 0.5rem;
  padding: 0.5rem 0.8rem; border-bottom: 1px solid var(--panel-edge);
  background: linear-gradient(#f6f2e7, #ece7d8);
}
.card-title { font-size: 0.66rem; letter-spacing: 0.22em; text-transform: uppercase; color: var(--ink-soft); font-weight: 700; }
.toolbar { display: flex; align-items: center; gap: 0.4rem; flex-wrap: wrap; }
.speed { display: flex; align-items: center; gap: 0.35rem; font-size: 0.66rem; color: var(--ink-soft); letter-spacing: 0.1em; text-transform: uppercase; }
.speed input { width: 90px; accent-color: var(--olivetti); }

/* ---------- dark display insets ---------- */

.netscreen {
  background: radial-gradient(ellipse at 50% 0%, #283024, var(--screen) 70%);
  border: 1px solid var(--screen-edge); border-radius: 8px; margin: 0.7rem;
  box-shadow: inset 0 0 24px rgb(0 0 0 / 0.55); color: var(--phosphor);
  font-family: var(--mono);
}

/* ---------- byte grid ---------- */

.grid-host { padding: 0.9rem; overflow-x: auto; }
.grid-wrap { display: grid; grid-template-columns: auto 1fr; gap: 0.35rem 0.6rem; align-items: center; }
.grid-row-label { font-size: 0.6rem; letter-spacing: 0.14em; color: var(--phosphor-dim); text-transform: uppercase; }
.grid-row-label[data-lbl="in"]::after { content: "IN"; }
.grid-row-label[data-lbl="out"]::after { content: "OUT"; }
.bg-row { display: flex; flex-wrap: wrap; gap: 4px; }
.bg-in { opacity: 0.5; }
.bg-cell {
  display: inline-flex; flex-direction: column; align-items: center; justify-content: center;
  min-width: 26px; padding: 3px 2px; border-radius: 5px;
  background: rgb(147 232 187 / 0.06); border: 1px solid rgb(147 232 187 / 0.14);
}
.bg-glyph { font-size: 0.95rem; line-height: 1.1; color: var(--phosphor-soft); }
.bg-hex { font-size: 0.55rem; color: var(--phosphor-dim); letter-spacing: 0.04em; }
.bg-out .bg-cell.cursor { border-color: var(--amber); box-shadow: 0 0 8px rgb(228 176 74 / 0.5); }
.bg-out .bg-cell.pulse { animation: cellpulse 0.4s ease; }
@keyframes cellpulse {
  0% { background: rgb(228 176 74 / 0.5); transform: translateY(-3px); }
  100% { background: rgb(147 232 187 / 0.06); transform: none; }
}

/* ---------- pipeline strip ---------- */

.pipeline-host { padding: 0.7rem 0.9rem; overflow-x: auto; }
.pipeline { display: flex; align-items: center; gap: 0.35rem; flex-wrap: wrap; }
.pl-stage {
  font-family: var(--mono); font-size: 0.72rem; color: var(--phosphor-dim);
  padding: 0.28rem 0.55rem; border: 1px solid rgb(147 232 187 / 0.22); border-radius: 6px;
  white-space: nowrap;
}
.pl-stage.active { color: var(--screen); background: var(--phosphor); border-color: var(--phosphor); box-shadow: 0 0 10px rgb(147 232 187 / 0.5); }
.pl-stage.spent { color: var(--phosphor-soft); border-color: rgb(147 232 187 / 0.5); }
.pl-arrow { color: var(--phosphor-dim); font-size: 0.7rem; }
.pl-group-open { color: var(--amber); font-family: var(--mono); font-size: 0.72rem; }
.pl-group-open::after { content: " {"; }
.pl-group-close::before { content: "}"; color: var(--amber); font-family: var(--mono); font-size: 0.72rem; }

/* ---------- worksheet (pubkey) ---------- */

.ws-host { padding: 0.6rem; max-height: 360px; overflow-y: auto; }
.ws { display: flex; flex-direction: column; gap: 2px; font-family: var(--mono); font-size: 0.82rem; }
.ws-row { padding: 0.22rem 0.5rem; border-radius: 5px; color: var(--phosphor-soft); border-left: 2px solid transparent; }
.ws-row b { color: #fff; }
.ws-given { color: var(--amber); }
.ws-call { color: var(--cyan); border-left-color: var(--cyan); margin-top: 0.3rem; }
.ws-euclid, .ws-ladder, .ws-calc { color: var(--phosphor-dim); }
.ws-done { color: var(--phosphor); }
.ws-result { color: var(--screen); background: var(--phosphor); font-size: 0.95rem; padding: 0.35rem 0.5rem; margin-top: 0.3rem; }
.ws-result b { color: var(--screen); }
.ws-error { color: #f0a090; }
.ws-row.live { animation: wspulse 0.4s ease; }
@keyframes wspulse { 0% { background: rgb(228 176 74 / 0.35); } 100% { background: transparent; } }
.ws-result.live { animation: none; }

.vars-view { display: flex; flex-wrap: wrap; gap: 0.35rem; margin-bottom: 0.2rem; }
.var-chip { font-family: var(--mono); font-size: 0.78rem; background: #e7e1d1; color: var(--ink); padding: 0.15rem 0.45rem; border-radius: 5px; }
.var-chip b { color: var(--olivetti-dark); }

/* ---------- digest view (hash) ---------- */

.dv-host { padding: 0.7rem; }
.dv-state-wrap { display: flex; align-items: center; gap: 0.6rem; margin-bottom: 0.6rem; }
.dv-state-label { font-size: 0.6rem; letter-spacing: 0.16em; text-transform: uppercase; color: var(--phosphor-dim); }
.dv-state { display: flex; gap: 6px; }
.dv-cell {
  font-family: var(--mono); font-size: 1.2rem; font-weight: 700; color: var(--phosphor-soft);
  background: rgb(147 232 187 / 0.08); border: 1px solid rgb(147 232 187 / 0.25);
  border-radius: 6px; padding: 0.3rem 0.5rem; min-width: 2.2rem; text-align: center;
}
.dv-cell.pulse { animation: cellpulse 0.4s ease; }
.dv-log { max-height: 280px; overflow-y: auto; display: flex; flex-direction: column; gap: 2px; font-family: var(--mono); font-size: 0.78rem; }
.dv-row { padding: 0.18rem 0.4rem; border-radius: 5px; color: var(--phosphor-soft); border-left: 2px solid transparent; }
.dv-row b { color: #fff; }
.dv-given { color: var(--amber); }
.dv-call { color: var(--cyan); border-left-color: var(--cyan); margin-top: 0.25rem; }
.dv-block { color: var(--phosphor); }
.dv-calc { color: var(--phosphor-dim); }
.dv-done { color: var(--phosphor); }
.dv-result { color: var(--screen); background: var(--phosphor); padding: 0.3rem 0.5rem; margin-top: 0.3rem; }
.dv-result b { color: var(--screen); }
.dv-error { color: #f0a090; }
.dv-row.live { animation: wspulse 0.4s ease; }
.dv-result.live { animation: none; }

/* ---------- recipe editor ---------- */

.editor { padding: 0.7rem 0.8rem; display: flex; flex-direction: column; gap: 0.3rem; }
.ed-label { font-size: 0.62rem; letter-spacing: 0.14em; text-transform: uppercase; color: var(--ink-soft); font-weight: 700; }
.msg-input, .recipe-input {
  font-family: var(--mono); font-size: 0.85rem; color: var(--ink);
  background: #fbf9f2; border: 1px solid var(--panel-edge); border-radius: 7px;
  padding: 0.5rem 0.6rem; width: 100%; resize: vertical;
}
.msg-input:focus, .recipe-input:focus { outline: 2px solid rgb(200 68 44 / 0.4); border-color: var(--olivetti); }
.recipe-error { color: var(--fail); font-size: 0.78rem; font-family: var(--mono); padding: 0.2rem 0.1rem; }
.status-line { padding: 0.4rem 0.85rem 0.7rem; font-size: 0.76rem; color: var(--ink-soft); font-family: var(--mono); }
.status-line[data-kind="ok"] { color: var(--pass); }
.status-line[data-kind="err"] { color: var(--fail); }
.status-line[data-kind="run"] { color: var(--olivetti-dark); }

/* ---------- lesson panel ---------- */

.col-lesson .lesson, .lesson {
  background: var(--panel); border: 1px solid var(--panel-edge); border-radius: 12px;
  padding: 1rem 1.1rem; box-shadow: 0 6px 14px rgb(0 0 0 / 0.06);
}
.lesson-eyebrow { font-size: 0.66rem; letter-spacing: 0.2em; text-transform: uppercase; color: var(--olivetti-dark); font-weight: 700; margin-bottom: 0.3rem; }
.lesson-title { font-size: 1.15rem; margin-bottom: 0.6rem; line-height: 1.2; }
.lesson-text { font-size: 0.9rem; line-height: 1.55; color: #45423a; }
.lesson-text p { margin-bottom: 0.6rem; }
.lesson-text ol, .lesson-text ul { margin: 0 0 0.6rem 1.1rem; }
.lesson-text li { margin-bottom: 0.2rem; }
.lesson code, .goal code, .hint code, .help-body code {
  font-family: var(--mono); font-size: 0.85em; background: #e7e1d1;
  padding: 0.06em 0.35em; border-radius: 4px; color: var(--olivetti-dark);
}
.goal { margin-top: 0.6rem; padding: 0.55rem 0.7rem; background: #efe9da; border-left: 3px solid var(--olivetti); border-radius: 4px; font-size: 0.88rem; }
.goal-label { font-weight: 700; text-transform: uppercase; font-size: 0.66rem; letter-spacing: 0.14em; color: var(--ink-soft); margin-right: 0.3rem; }
.rule-chips { margin-top: 0.6rem; display: flex; gap: 0.35rem; flex-wrap: wrap; }
.chip { font-family: var(--mono); font-size: 0.66rem; padding: 0.2rem 0.5rem; border-radius: 5px; background: #e7e1d1; color: var(--ink-soft); }
.hints { margin-top: 0.7rem; }
.hint { font-size: 0.85rem; background: #f4eedd; border: 1px dashed var(--panel-edge); border-radius: 6px; padding: 0.4rem 0.55rem; margin-bottom: 0.35rem; }
.btn-hint { margin-top: 0.2rem; }
.done-mark { color: var(--pass); font-weight: 700; }
.banner { margin-top: 0.8rem; padding: 0.6rem 0.75rem; border-radius: 8px; font-size: 0.88rem; }
.banner-pass { background: #dff0e2; border: 1px solid var(--pass); color: #245b33; }
.banner-fail { background: #f6dfd9; border: 1px solid var(--fail); color: #8a2b1f; }
.banner .btn { margin-top: 0.5rem; }
.btn-reset-code { margin-top: 0.7rem; }

/* ---------- cases panel ---------- */

.cases { padding: 0.6rem 0.7rem; display: flex; flex-direction: column; gap: 0.3rem; }
.case-head { font-size: 0.62rem; letter-spacing: 0.14em; text-transform: uppercase; color: var(--ink-soft); font-weight: 700; }
.case-row {
  display: flex; align-items: center; justify-content: space-between; gap: 0.5rem; width: 100%;
  font-family: var(--mono); font-size: 0.78rem; text-align: left;
  background: #fbf9f2; border: 1px solid var(--panel-edge); border-radius: 6px; padding: 0.35rem 0.5rem; color: var(--ink);
}
.case-row:hover { border-color: var(--olivetti); }
.case-row.ok { background: #e4f1e6; border-color: var(--pass); }
.case-row.bad { background: #f6e2dc; border-color: var(--fail); }
.case-str { display: flex; flex-direction: column; overflow: hidden; }
.case-sub { color: var(--ink-soft); font-size: 0.68rem; }
.case-mark { font-weight: 700; }
.case-row.ok .case-mark { color: var(--pass); }
.case-row.bad .case-mark { color: var(--fail); }

/* ---------- event log ---------- */

#eventLog, .grid-host, .pipeline-host { max-width: 100%; }
.evt-tape { max-height: 320px; overflow-y: auto; padding: 0.4rem; font-family: var(--mono); font-size: 0.74rem; }
.evt-row { display: flex; gap: 0.5rem; padding: 0.12rem 0.3rem; border-bottom: 1px solid #eee7d6; align-items: baseline; }
.evt-time { color: var(--ink-soft); min-width: 2.4em; text-align: right; }
.evt-lane { color: var(--violet); min-width: 3em; }
.evt-cmd { color: var(--olivetti-dark); }
.evt-op { color: var(--ink); font-weight: 600; }
.evt-xf { color: #55514a; }
.evt-pass { color: var(--pass); font-weight: 600; }
.tbl-empty { color: var(--ink-soft); font-style: italic; padding: 0.6rem; font-family: var(--sans); font-size: 0.82rem; }

/* ---------- overlays / modals ---------- */

.overlay { position: fixed; inset: 0; background: rgb(20 23 15 / 0.55); display: flex; align-items: center; justify-content: center; padding: 1.2rem; z-index: 50; }
.modal { background: var(--panel); border-radius: 14px; border: 1px solid var(--panel-edge); box-shadow: 0 20px 50px rgb(0 0 0 / 0.35); max-width: 640px; width: 100%; max-height: 85vh; overflow: auto; }
.modal-head { display: flex; align-items: center; justify-content: space-between; padding: 0.9rem 1.1rem; border-bottom: 1px solid var(--panel-edge); }
.modal-head h2 { font-size: 1.05rem; }
.help-body { padding: 1rem 1.1rem; font-size: 0.9rem; line-height: 1.55; }
.help-body p { margin-bottom: 0.6rem; }
.help-body h3 { font-size: 0.66rem; font-weight: 700; letter-spacing: 0.26em; text-transform: uppercase; color: var(--olivetti); margin: 1rem 0 0.4rem; }
.help-body pre { font-family: var(--mono); font-size: 0.8rem; line-height: 1.5; background: var(--screen, #20251e); color: var(--phosphor, #93e8bb); border-radius: 7px; padding: 0.6rem 0.8rem; overflow-x: auto; margin: 0.4rem 0; }
.help-body table { border-collapse: collapse; width: 100%; font-size: 0.8rem; margin: 0.3rem 0 0.6rem; }
.help-body th, .help-body td { text-align: left; padding: 0.3rem 0.5rem; border-bottom: 1px solid var(--panel-edge); vertical-align: top; }
.help-body th { font-size: 0.62rem; letter-spacing: 0.2em; text-transform: uppercase; color: var(--ink-soft); }
.intro-foot { display: flex; justify-content: flex-end; padding: 0 1.1rem 1.2rem; }
.level-cards { display: grid; grid-template-columns: repeat(auto-fill, minmax(150px, 1fr)); gap: 0.6rem; padding: 1rem 1.1rem; }
.level-card { display: flex; flex-direction: column; gap: 0.2rem; text-align: left; background: #fbf9f2; border: 1px solid var(--panel-edge); border-radius: 9px; padding: 0.6rem 0.7rem; position: relative; }
.level-card:hover { border-color: var(--olivetti); transform: translateY(-1px); }
.level-card.done { background: #e9f2ea; }
.level-card.current { outline: 2px solid var(--olivetti); }
.level-num { font-family: var(--mono); font-size: 0.72rem; color: var(--ink-soft); }
.level-name { font-size: 0.85rem; font-weight: 600; }
.level-desc { font-size: 0.72rem; color: var(--ink-soft); }
.level-card .done-mark { position: absolute; top: 0.5rem; right: 0.6rem; }

/* ---------- hub ---------- */

.hub { flex: 1; max-width: 920px; width: 100%; margin: 0 auto; padding: 1.6rem 1.2rem 2.4rem; }
.hero { text-align: center; margin: 1rem 0 2rem; }
.hero-title { font-size: clamp(1.5rem, 4vw, 2.2rem); line-height: 1.15; margin-bottom: 0.7rem; }
.hero-title em { color: var(--olivetti-dark); font-style: normal; }
.hero-text { max-width: 640px; margin: 0 auto; color: #4a463d; font-size: 0.98rem; line-height: 1.6; }
.floors { display: flex; flex-direction: column; gap: 0.9rem; }
.floor {
  display: grid; grid-template-columns: auto auto 1fr auto; align-items: center; gap: 1rem;
  background: var(--panel); border: 1px solid var(--panel-edge); border-radius: 14px;
  padding: 1rem 1.2rem; color: var(--ink);
  box-shadow: 0 1px 0 #fff inset, 0 6px 14px rgb(0 0 0 / 0.06); transition: transform 80ms, box-shadow 80ms;
}
.floor:hover { transform: translateY(-2px); box-shadow: 0 10px 22px rgb(0 0 0 / 0.1); }
.floor-num { font-family: var(--mono); font-size: 0.8rem; color: var(--ink-soft); }
.floor-icon {
  font-family: var(--mono); font-size: 1.5rem; font-weight: 700; color: var(--panel);
  background: linear-gradient(var(--olivetti), var(--olivetti-dark)); border-radius: 10px;
  width: 3rem; height: 3rem; display: flex; align-items: center; justify-content: center;
  box-shadow: inset 0 -2px 0 rgb(0 0 0 / 0.25);
}
.floor-body { display: flex; flex-direction: column; gap: 0.2rem; }
.floor-title { font-size: 1.05rem; font-weight: 700; }
.floor-desc { font-size: 0.86rem; color: var(--ink-soft); line-height: 1.45; }
.floor-cta { display: flex; flex-direction: column; align-items: flex-end; gap: 0.4rem; }
.floor-progress { font-size: 0.68rem; letter-spacing: 0.06em; color: var(--ink-soft); text-transform: uppercase; }
.floor-progress.complete { color: var(--pass); font-weight: 700; }
.hub-foot { text-align: center; color: var(--ink-soft); font-size: 0.8rem; margin-top: 2rem; font-style: italic; }
@media (max-width: 640px) {
  .floor { grid-template-columns: auto 1fr; }
  .floor-num { display: none; }
  .floor-cta { grid-column: 1 / -1; flex-direction: row; justify-content: space-between; align-items: center; }
}

/* ---------- reduced motion ---------- */

@media (prefers-reduced-motion: reduce) {
  * { animation: none !important; transition: none !important; }
}