/*
 * The lab, laid out as two halves: what you write on the left, what the card does
 * on the right. The phone is a real proportion of the screen rather than a widget
 * in a corner, because for an STK applet the phone IS the output.
 */

:root {
  --ink: #101418;
  --paper: #f6f7f9;
  --panel: #ffffff;
  --line: #d9dee5;
  --muted: #5b6672;
  --accent: #1f6feb;
  --good: #1a7f37;
  --bad: #b42318;
  --screen: #0d1b14;
  --screen-ink: #7dffb0;
  --mono: ui-monospace, "SF Mono", "Cascadia Mono", Menlo, Consolas, monospace;
}

@media (prefers-color-scheme: dark) {
  :root {
    --ink: #e6edf3;
    --paper: #0d1117;
    --panel: #161b22;
    --line: #2b333c;
    --muted: #8b949e;
    --accent: #4493f8;
  }
}

* { box-sizing: border-box; }

body {
  margin: 0;
  font: 15px/1.5 system-ui, -apple-system, "Segoe UI", sans-serif;
  color: var(--ink);
  background: var(--paper);
}

header {
  display: flex;
  align-items: baseline;
  gap: 1rem;
  padding: 0.9rem 1.25rem;
  border-bottom: 1px solid var(--line);
  background: var(--panel);
}
header h1 { font-size: 1.05rem; margin: 0; letter-spacing: -0.01em; }
.tagline { margin: 0; color: var(--muted); font-size: 0.85rem; }
.who { margin-left: auto; color: var(--muted); font-size: 0.85rem; }
.who button {
  margin-left: 0.6rem; background: none; border: 0; color: var(--accent);
  cursor: pointer; font-size: 0.85rem; padding: 0;
}

main {
  display: grid;
  grid-template-columns: minmax(0, 1.15fr) minmax(0, 1fr);
  gap: 1px;
  background: var(--line);
  height: calc(100vh - 3.4rem);
}
@media (max-width: 980px) {
  main { grid-template-columns: 1fr; height: auto; }
}

.editor-pane, .card-pane { background: var(--paper); min-width: 0; display: flex; flex-direction: column; }
.card-pane { overflow-y: auto; }

.pane-head {
  display: flex; align-items: center; gap: 0.75rem;
  padding: 0.6rem 0.9rem;
  border-bottom: 1px solid var(--line);
  background: var(--panel);
}
.pane-head h2 { font-size: 0.8rem; margin: 0; text-transform: uppercase; letter-spacing: 0.06em; color: var(--muted); }
.actions { margin-left: auto; display: flex; align-items: center; gap: 0.5rem; }
.state { color: var(--muted); font-size: 0.8rem; }

button {
  font: inherit; font-size: 0.85rem;
  padding: 0.35rem 0.7rem;
  border: 1px solid var(--line); border-radius: 6px;
  background: var(--panel); color: var(--ink); cursor: pointer;
}
button:hover { border-color: var(--accent); }
button.primary { background: var(--accent); border-color: var(--accent); color: #fff; }
button:disabled { opacity: 0.5; cursor: default; }

input[type=text], #apdu {
  font: 0.85rem var(--mono);
  padding: 0.35rem 0.5rem;
  border: 1px solid var(--line); border-radius: 6px;
  background: var(--paper); color: var(--ink);
  width: 15rem;
}
.trace-toggle { font-size: 0.8rem; color: var(--muted); display: flex; align-items: center; gap: 0.3rem; }

#editor { flex: 1; min-height: 22rem; }

.diagnostics {
  border-top: 1px solid var(--line);
  background: var(--panel);
  max-height: 12rem; overflow-y: auto;
  font: 0.8rem var(--mono);
  padding: 0.5rem 0.9rem;
}
.diagnostics .d { padding: 0.15rem 0; }
.diagnostics .ERROR { color: var(--bad); }
.diagnostics .WARNING, .diagnostics .MANDATORY_WARNING { color: #9a6700; }
.diagnostics .NOTE, .diagnostics .OTHER { color: var(--muted); }

/* ------------------------------------------------------------------ phone */

.phone { display: flex; justify-content: center; padding: 1.1rem; }
.phone-shell {
  width: 17rem;
  border: 1px solid var(--line);
  border-radius: 1.6rem;
  background: var(--panel);
  padding: 0.7rem;
  box-shadow: 0 1px 3px rgb(0 0 0 / 0.08);
}
.phone-screen {
  background: var(--screen);
  color: var(--screen-ink);
  border-radius: 0.9rem;
  min-height: 19rem;
  padding: 0.8rem;
  font: 0.82rem var(--mono);
  display: flex; flex-direction: column;
}
.screen-idle { flex: 1; display: flex; flex-direction: column; align-items: center; justify-content: center; text-align: center; }
.carrier { font-size: 0.75rem; opacity: 0.75; }
.clock { font-size: 1.9rem; margin: 0.2rem 0 0.8rem; letter-spacing: 0.02em; }
.hint { opacity: 0.55; font-size: 0.72rem; margin: 0; padding: 0 1rem; }

.screen-title {
  font-size: 0.72rem; text-transform: uppercase; letter-spacing: 0.08em;
  opacity: 0.6; margin-bottom: 0.5rem;
}
.screen-text { white-space: pre-wrap; word-break: break-word; }
.menu { list-style: none; margin: 0; padding: 0; }
.menu li { padding: 0.3rem 0.1rem; border-bottom: 1px solid rgb(125 255 176 / 0.15); }
.menu button {
  all: unset; cursor: pointer; display: block; width: 100%;
  font: inherit; color: inherit; padding: 0.05rem 0;
}
.menu button:hover { text-decoration: underline; }
.menu .idx { opacity: 0.5; margin-right: 0.5rem; }

.phone-keys { display: flex; justify-content: center; gap: 0.8rem; padding-top: 0.6rem; }
.phone-keys button { border-radius: 999px; width: 2.1rem; height: 2.1rem; padding: 0; }

/* ------------------------------------------------------------------ console */

.console, .trace { border-top: 1px solid var(--line); }
.log, .trace-list {
  list-style: none; margin: 0; padding: 0.4rem 0.9rem;
  font: 0.8rem var(--mono);
  max-height: 16rem; overflow-y: auto;
  background: var(--panel);
}
.log li { padding: 0.15rem 0; display: flex; gap: 0.6rem; }
.log .dir { color: var(--muted); width: 2.2rem; flex: none; }
.log .sw-9000 { color: var(--good); }
.log .sw-other { color: var(--bad); }
.log .note { color: var(--muted); }

.trace-list li { padding: 0.1rem 0; color: var(--muted); }
.trace-list li.here { color: var(--ink); background: rgb(31 111 235 / 0.1); }

/* ------------------------------------------------------------------ sign in */

.signin { position: fixed; inset: 0; display: grid; place-items: center; background: var(--paper); }
.signin[hidden] { display: none; }
.signin-card {
  background: var(--panel); border: 1px solid var(--line); border-radius: 12px;
  padding: 1.6rem; width: min(24rem, 92vw); text-align: center;
}
.signin-card h2 { margin: 0 0 0.4rem; font-size: 1.1rem; }
.signin-card p { color: var(--muted); font-size: 0.88rem; margin: 0 0 1rem; }
.signin-card button { display: block; width: 100%; margin-bottom: 0.5rem; padding: 0.55rem; }
.signin-card button:first-of-type { background: var(--accent); border-color: var(--accent); color: #fff; }
.error { color: var(--bad); }