/* F# Chain IDE - system wizualny.
   Wszystkie kolory sa tokenami; komponenty nie uzywaja wartosci wprost. */
:root {
  --bg: #06060c;
  --bg-raised: #0d0e18;
  --bg-panel: #11121f;
  --line: #232544;
  --fg: #eef1ff;
  --fg-muted: #9aa0c7;

  --brand: #46e0c8; /* mieta - akcent glowny */
  --brand-deep: #12b8a0;
  --azure: #6c8cff; /* blekit F# */
  --magenta: #ff4d9d;
  --amber: #ffc857;
  --danger: #ff5c5c;

  --gradient-brand: linear-gradient(120deg, var(--azure), var(--brand) 55%, var(--magenta));
  --glow: 0 0 0 1px rgba(70, 224, 200, 0.25), 0 18px 50px -22px rgba(108, 140, 255, 0.75);
  --radius: 12px;
  --mono: "JetBrains Mono", "Fira Code", "DejaVu Sans Mono", ui-monospace, monospace;
  --sans: "Inter", "Segoe UI", system-ui, sans-serif;
}

* { box-sizing: border-box; }

html, body {
  margin: 0;
  height: 100%;
  background: radial-gradient(1200px 700px at 15% -10%, rgba(108, 140, 255, 0.18), transparent 60%),
    radial-gradient(900px 600px at 90% 0%, rgba(255, 77, 157, 0.12), transparent 55%), var(--bg);
  color: var(--fg);
  font-family: var(--sans);
}

body {
  display: grid;
  grid-template-rows: auto 1fr auto;
}

/* ------------------------------------------------------------------ topbar */
.topbar {
  display: flex;
  align-items: center;
  gap: 24px;
  padding: 12px 20px;
  border-bottom: 1px solid var(--line);
  background: rgba(9, 10, 20, 0.75);
  backdrop-filter: blur(12px);
}

.brand { display: flex; align-items: center; gap: 10px; font-size: 18px; letter-spacing: 0.02em; }

.brand-mark {
  display: grid;
  place-items: center;
  width: 34px;
  height: 34px;
  border-radius: 10px;
  font-weight: 800;
  color: #04121a;
  background: var(--gradient-brand);
  box-shadow: var(--glow);
}

.brand-name b { color: var(--brand); }

.actions { display: flex; gap: 8px; }
.wallet { margin-left: auto; display: flex; align-items: center; gap: 10px; }

.btn {
  border: 1px solid var(--line);
  background: var(--bg-raised);
  color: var(--fg);
  padding: 8px 14px;
  border-radius: 10px;
  font-size: 13px;
  cursor: pointer;
  transition: transform 0.12s ease, border-color 0.12s ease, box-shadow 0.12s ease;
}
.btn:hover { transform: translateY(-1px); border-color: var(--brand); }
.btn-primary { background: var(--gradient-brand); color: #05141a; font-weight: 700; border: 0; }
.btn-accent { border-color: var(--magenta); color: var(--magenta); }
.btn-ghost { background: transparent; }
.btn-small { padding: 5px 10px; font-size: 12px; margin-left: auto; }
.icon-btn { background: transparent; border: 1px solid var(--line); color: var(--fg); border-radius: 8px; width: 24px; height: 24px; cursor: pointer; }

.pill { font-size: 12px; padding: 4px 10px; border-radius: 999px; border: 1px solid var(--line); color: var(--fg-muted); }
.pill-ok { color: var(--brand); border-color: var(--brand-deep); }
.pill-off { color: var(--danger); border-color: var(--danger); }

/* ------------------------------------------------------------------ layout */
.layout {
  display: grid;
  grid-template-columns: 240px minmax(0, 1.35fr) minmax(0, 1fr);
  min-height: 0;
}

.sidebar, .output { background: var(--bg-panel); border-right: 1px solid var(--line); display: flex; flex-direction: column; min-height: 0; }
.output { border-right: 0; border-left: 1px solid var(--line); }

.panel-head {
  display: flex; align-items: center; justify-content: space-between;
  padding: 12px 14px; font-size: 12px; text-transform: uppercase;
  letter-spacing: 0.12em; color: var(--fg-muted); border-bottom: 1px solid var(--line);
}

.file-list { list-style: none; margin: 0; padding: 8px; overflow: auto; flex: 1; }
.file-list li {
  padding: 8px 10px; border-radius: 8px; font-size: 13px; cursor: pointer; color: var(--fg-muted);
  display: flex; justify-content: space-between; gap: 8px;
}
.file-list li:hover { background: rgba(108, 140, 255, 0.12); color: var(--fg); }
.file-list li.active { background: rgba(70, 224, 200, 0.14); color: var(--brand); }

.sidebar-foot { padding: 12px 14px; border-top: 1px solid var(--line); }
.hint { font-size: 12px; color: var(--fg-muted); margin: 0; }
code, .mono { font-family: var(--mono); }

/* ------------------------------------------------------------------ editor */
.editor-area { display: flex; flex-direction: column; min-width: 0; min-height: 0; }
.tabbar { display: flex; align-items: center; gap: 8px; padding: 8px 14px; border-bottom: 1px solid var(--line); }
.tab { font-family: var(--mono); font-size: 13px; color: var(--fg-muted); }
.tab.active { color: var(--fg); }
.dirty { color: var(--amber); }

.editor-shell { position: relative; flex: 1; display: grid; grid-template-columns: 52px 1fr; min-height: 0; overflow: auto; }
.gutter {
  font-family: var(--mono); font-size: 13px; line-height: 21px; padding: 14px 8px;
  text-align: right; color: #454a76; user-select: none; border-right: 1px solid var(--line);
}
.highlight, .editor {
  grid-column: 2; grid-row: 1;
  font-family: var(--mono); font-size: 13px; line-height: 21px;
  padding: 14px 16px; margin: 0; border: 0; white-space: pre; overflow-wrap: normal;
}
.highlight { pointer-events: none; color: var(--fg); }
.editor {
  background: transparent; color: transparent; caret-color: var(--brand); resize: none; outline: none;
}
.editor::selection { background: rgba(108, 140, 255, 0.35); }

.tok-keyword { color: var(--magenta); font-weight: 600; }
.tok-standard { color: var(--azure); }
.tok-type { color: var(--brand); }
.tok-string { color: var(--amber); }
.tok-number { color: #b6f7c1; }
.tok-comment { color: #5b608f; font-style: italic; }
.tok-punct { color: var(--fg-muted); }

/* ------------------------------------------------------------------ output */
.tabs { display: flex; border-bottom: 1px solid var(--line); }
.tab-btn {
  flex: 1; background: transparent; border: 0; border-bottom: 2px solid transparent;
  color: var(--fg-muted); padding: 12px 8px; font-size: 12px; letter-spacing: 0.08em;
  text-transform: uppercase; cursor: pointer;
}
.tab-btn.active { color: var(--fg); border-bottom-color: var(--brand); }
.tab-panel { display: none; padding: 14px; overflow: auto; min-height: 0; }
.tab-panel.active { display: block; }

.summary { display: grid; gap: 6px; font-size: 13px; margin-bottom: 12px; }
.summary .row { display: flex; justify-content: space-between; gap: 12px; border-bottom: 1px dashed var(--line); padding-bottom: 4px; }
.summary .row span:last-child { font-family: var(--mono); color: var(--brand); }

.diagnostics { display: grid; gap: 8px; }
.diag { border-left: 3px solid var(--line); padding: 8px 10px; background: var(--bg-raised); border-radius: 0 8px 8px 0; font-size: 13px; }
.diag.error { border-left-color: var(--danger); }
.diag.warning { border-left-color: var(--amber); }
.diag.info { border-left-color: var(--azure); }
.diag .stage { font-family: var(--mono); font-size: 11px; color: var(--fg-muted); display: block; }

.code-view { font-family: var(--mono); font-size: 12px; line-height: 19px; margin: 0; white-space: pre-wrap; color: var(--fg-muted); }

.run-form { display: grid; gap: 8px; margin-bottom: 12px; }
.run-form label { display: grid; gap: 4px; font-size: 12px; color: var(--fg-muted); }
.run-form input {
  background: var(--bg-raised); border: 1px solid var(--line); border-radius: 8px;
  padding: 8px 10px; color: var(--fg); font-family: var(--mono); font-size: 12px;
}
.run-form input:focus { outline: none; border-color: var(--brand); }

/* --------------------------------------------------------------- statusbar */
.statusbar {
  display: flex; align-items: center; gap: 16px; padding: 8px 16px;
  border-top: 1px solid var(--line); font-size: 12px; color: var(--fg-muted);
  background: rgba(9, 10, 20, 0.8);
}
.spacer { flex: 1; }

@media (max-width: 1100px) {
  .layout { grid-template-columns: 1fr; grid-template-rows: auto 1fr auto; }
  .sidebar { max-height: 180px; }
}