*, *::before, *::after { box-sizing: border-box; margin: 0; padding: 0; }

:root {
  --bg: #0d1117;
  --bg-card: #161b22;
  --border: #21262d;
  --border-hover: #484f58;
  --text: #e6edf3;
  --text-dim: #8b949e;
  --text-muted: #484f58;
  --accent: #58a6ff;
  --accent-dim: #1f6feb33;
  --green: #3fb950;
  --radius: 8px;
  --font: -apple-system, BlinkMacSystemFont, "Segoe UI", Helvetica, Arial, sans-serif;
  --mono: ui-monospace, SFMono-Regular, "SF Mono", Menlo, monospace;
}

html, body {
  height: 100%;
  background: var(--bg);
  color: var(--text);
  font-family: var(--font);
  font-size: 15px;
  line-height: 1.6;
}

body {
  display: flex;
  flex-direction: column;
}

/* ── Info Bar ────────────────────────────────────────── */

#infobar {
  position: sticky;
  top: 0;
  z-index: 10;
  background: var(--bg);
  border-bottom: 1px solid var(--border);
  padding: 8px 24px;
  font-size: 13px;
  user-select: none;
  transition: transform 0.2s ease;
  display: flex;
  align-items: center;
}

#infobar.hidden-bar {
  transform: translateY(-100%);
}

.path {
  color: var(--text-dim);
}

.path-segment {
  color: var(--text-dim);
  transition: color 0.1s;
}

.path-segment:hover {
  color: var(--accent);
}

.path-sep {
  color: var(--text-muted);
  margin: 0 2px;
}

.path-current {
  color: var(--text);
  font-weight: 500;
}

/* ── Tree Dropdown ───────────────────────────────────── */

.tree {
  background: var(--bg-card);
  border: 1px solid var(--border);
  border-radius: var(--radius);
  margin: 0.5rem 0 1rem;
  max-height: 50vh;
  overflow-y: auto;
  padding: 8px 16px;
}

.tree.hidden {
  display: none;
}

.tree-item {
  padding: 5px 8px;
  border-radius: 6px;
  font-size: 13px;
  color: var(--text-dim);
  cursor: pointer;
  transition: background 0.1s;
}

.tree-item:hover {
  background: var(--border);
  color: var(--text);
}

.tree-item.active {
  color: var(--accent);
}

.tree-indent {
  display: inline-block;
  width: 16px;
}

.tree-group {
  font-size: 11px;
  font-weight: 600;
  color: var(--text-muted);
  text-transform: uppercase;
  letter-spacing: 0.04em;
  padding: 8px 8px 3px;
}

/* ── Notebook ────────────────────────────────────────── */

#notebook {
  flex: 1;
  overflow-y: auto;
  padding: 0 1rem;
  width: 100%;
}

/* ── Cards ───────────────────────────────────────────── */

.card {
  position: relative;
  padding: 12px 16px;
  margin-bottom: 2px;
  border-radius: var(--radius);
  background: var(--bg-card);
  border: 1px solid var(--border);
  transition: border-color 0.15s;
}

.card:hover {
  border-color: var(--border);
}

.card:hover .card-controls {
  opacity: 1;
}

/* Welcome card */

.card-welcome {
  position: relative;
  padding: 20px 24px;
  margin-top: 0.75rem;
  margin-bottom: 16px;
}

.card-welcome.collapsed .card-welcome-body {
  display: none;
}

.card-welcome-header {
  display: flex;
  align-items: center;
  gap: 8px;
}

.card-welcome-toggle {
  position: absolute;
  left: -1px;
  top: 50%;
  transform: translateY(-50%) translateX(-50%);
  background: #444;
  border: 1px solid var(--border);
  border-radius: 50%;
  color: #aaa;
  cursor: pointer;
  font-size: 10px;
  width: 20px;
  height: 20px;
  display: flex;
  align-items: center;
  justify-content: center;
  transition: color 0.1s, opacity 0.15s;
  line-height: 1;
  opacity: 0;
}

.card-welcome-toggle:hover {
  color: var(--text-dim);
  border-color: var(--border-hover);
}

.card-welcome-title {
  font-size: 14px;
  font-weight: 500;
  color: #eee;
  flex: 1;
}

.card-welcome-dismiss {
  position: absolute;
  right: -1px;
  top: 50%;
  transform: translateY(-50%) translateX(50%);
  background: #444;
  border: 1px solid var(--border);
  border-radius: 50%;
  color: #aaa;
  cursor: pointer;
  font-size: 12px;
  width: 20px;
  height: 20px;
  display: flex;
  align-items: center;
  justify-content: center;
  transition: color 0.1s, opacity 0.15s;
  line-height: 1;
  opacity: 0;
}

.card-welcome:hover .card-welcome-toggle,
.card-welcome:hover .card-welcome-dismiss {
  opacity: 1;
}

/* Add card buttons (top of first card, bottom of every card) */

.card-add {
  position: absolute;
  left: 50%;
  transform: translateX(-50%);
  background: #444;
  border: 1px solid var(--border);
  border-radius: 50%;
  color: #aaa;
  cursor: pointer;
  font-size: 12px;
  width: 20px;
  height: 20px;
  display: flex;
  align-items: center;
  justify-content: center;
  transition: color 0.1s, opacity 0.15s;
  line-height: 1;
  opacity: 0;
  z-index: 2;
}

.card-add:hover {
  color: var(--text-dim);
  border-color: var(--border-hover);
}

.card-add-top {
  top: -1px;
  transform: translateX(-50%) translateY(-50%);
}

.card-add-bottom {
  bottom: -1px;
  transform: translateX(-50%) translateY(50%);
}

.card:hover .card-add {
  opacity: 1;
}

.card-welcome-dismiss:hover {
  color: var(--text-dim);
  border-color: var(--border-hover);
}

.card-welcome-body {
  margin-top: 12px;
  color: #eee;
  font-size: 14px;
  line-height: 1.7;
}

/* Card content types */

.card-prose {
  color: #eee;
  line-height: 1.7;
}

.card-prose p { margin-bottom: 0.8em; }
.card-prose p:last-child { margin-bottom: 0; }

.card-prose a {
  color: var(--accent);
  text-decoration: none;
}
.card-prose a:hover { text-decoration: underline; }

.card-prose strong { font-weight: 600; }
.card-prose em { font-style: italic; }

.card-prose code {
  font-family: var(--mono);
  font-size: 0.9em;
  background: var(--border);
  padding: 2px 5px;
  border-radius: 4px;
}

.card-code {
  font-family: var(--mono);
  font-size: 13px;
  line-height: 1.5;
  overflow-x: auto;
  white-space: pre-wrap;
  color: #eee;
}

.card-heading {
  font-weight: 600;
  color: #eee;
}
.card-heading[data-level="1"] { font-size: 1.5em; margin: 16px 0 8px; }
.card-heading[data-level="2"] { font-size: 1.25em; margin: 12px 0 6px; }
.card-heading[data-level="3"] { font-size: 1.1em; margin: 8px 0 4px; }

.card-image {
  max-width: 100%;
  border-radius: var(--radius);
}

.card-empty {
  color: var(--text-muted);
  font-style: italic;
  padding: 48px 0;
  text-align: center;
}

/* Card controls (hover) */

.card-controls {
  position: absolute;
  top: 4px;
  right: 8px;
  display: flex;
  gap: 4px;
  opacity: 0;
  transition: opacity 0.15s;
}

.card-btn {
  background: var(--bg-card);
  border: 1px solid var(--border);
  border-radius: 4px;
  color: var(--text-dim);
  font-size: 11px;
  padding: 2px 6px;
  cursor: pointer;
  transition: color 0.1s, border-color 0.1s;
}

.card-btn:hover {
  color: var(--text);
  border-color: var(--border-hover);
}

/* Tags */

.tag {
  display: inline-block;
  font-size: 11px;
  color: var(--text-dim);
  background: var(--border);
  padding: 1px 6px;
  border-radius: 3px;
  margin-right: 4px;
}

/* Workspace index items */

.ws-index-item {
  display: flex;
  align-items: baseline;
  gap: 8px;
  padding: 8px 12px;
  cursor: pointer;
}

.ws-index-name {
  font-weight: 500;
  color: var(--text);
}

.ws-index-preview {
  font-size: 13px;
  color: var(--text-dim);
  overflow: hidden;
  text-overflow: ellipsis;
  white-space: nowrap;
  flex: 1;
}

/* ── Scrollbar ───────────────────────────────────────── */

::-webkit-scrollbar { width: 8px; }
::-webkit-scrollbar-track { background: transparent; }
::-webkit-scrollbar-thumb {
  background: var(--border);
  border-radius: 4px;
}
::-webkit-scrollbar-thumb:hover { background: var(--border-hover); }

/* ── Utility ─────────────────────────────────────────── */

.loading {
  color: var(--text-muted);
  padding: 48px 0;
  text-align: center;
}

/* Inline eval results */

.inline-result {
  color: var(--accent);
  font-style: italic;
  display: block;
}

.inline-error {
  color: #f85149;
}

/* Code editing state — monospace when typing a dot-command */

.card-code-editing .card-input {
  font-family: var(--mono);
  font-size: 13px;
}

/* Editable blank card */

.card-input {
  min-height: 1.6em;
  outline: none;
  cursor: text;
}

.card-input:empty::before {
  content: attr(data-placeholder);
  color: var(--text-muted);
}

.card-locked {
  cursor: default;
  user-select: text;
}

.card-input:not(.card-locked) {
  outline: 1px solid var(--accent-dim);
  border-radius: 4px;
  padding: 2px 4px;
  margin: -2px -4px;
}

.hidden { display: none; }

/* ── Landing / Auth ────────────────────────────────────── */

#auth-screen {
  display: flex;
  justify-content: center;
  align-items: center;
  min-height: 100vh;
  flex-direction: column;
}

#auth-screen.hidden { display: none; }

.landing {
  max-width: 480px;
  padding: 48px 32px;
  text-align: center;
}

.logo {
  font-size: 2.5em;
  font-weight: 700;
  letter-spacing: -0.03em;
  margin-bottom: 8px;
}

.tagline {
  color: var(--text-dim);
  font-size: 1.05em;
  margin-bottom: 40px;
  text-align: left;
}

.description {
  color: var(--text-dim);
  font-size: 0.9em;
  line-height: 1.7;
  margin-bottom: 40px;
  text-align: left;
}

.description p { margin-bottom: 12px; }

.login-section {
  border-top: 1px solid var(--border);
  padding-top: 32px;
}

.login-btn {
  display: inline-flex;
  align-items: center;
  gap: 8px;
  background: var(--bg-card);
  border: 1px solid var(--border);
  color: var(--text);
  font-family: inherit;
  font-size: 15px;
  padding: 10px 24px;
  border-radius: var(--radius);
  cursor: pointer;
  transition: border-color 0.15s, background 0.15s;
}

.login-btn:hover {
  border-color: var(--accent);
  background: #1c2128;
}

.login-note {
  color: var(--text-muted);
  font-size: 0.8em;
  margin-top: 16px;
}

.token-label {
  color: var(--text-dim);
  font-size: 0.85em;
  margin-bottom: 10px;
  text-align: left;
}

.token-label code { color: var(--text); }

.token-row {
  display: flex;
  gap: 8px;
}

.token-input {
  flex: 1;
  background: var(--bg-card);
  border: 1px solid var(--border);
  color: var(--text);
  font-family: inherit;
  font-size: 14px;
  padding: 9px 12px;
  border-radius: var(--radius);
  outline: none;
}

.token-input:focus {
  border-color: var(--accent);
}

.token-input::placeholder {
  color: var(--text-muted);
}

.logged-in {
  border-top: 1px solid var(--border);
  padding-top: 32px;
}

.user-info {
  color: var(--text-dim);
  font-size: 0.95em;
  margin-bottom: 16px;
}

.user-handle {
  color: var(--accent);
  font-weight: 500;
}

.enter-btn {
  display: inline-block;
  background: var(--bg-card);
  border: 1px solid var(--border);
  color: var(--text);
  font-family: inherit;
  font-size: 15px;
  padding: 10px 24px;
  border-radius: var(--radius);
  cursor: pointer;
  text-decoration: none;
  transition: border-color 0.15s, background 0.15s;
}

.enter-btn:hover {
  border-color: var(--green);
  background: #1c2128;
}

.logout-link {
  display: inline-block;
  margin-top: 12px;
  color: var(--text-muted);
  font-size: 0.8em;
  cursor: pointer;
  border: none;
  background: none;
  font-family: inherit;
  text-decoration: underline;
}

.logout-link:hover { color: var(--text-dim); }

.error-msg {
  background: #f8514922;
  border: 1px solid #f8514944;
  color: #f85149;
  padding: 8px 12px;
  border-radius: var(--radius);
  font-size: 0.85em;
  margin-bottom: 24px;
}

.terminal-link {
  position: fixed;
  bottom: 16px;
  right: 20px;
  color: var(--text-muted);
  font-size: 0.75em;
  text-decoration: none;
}

.terminal-link:hover { color: var(--text-dim); }

/* ── Cascade delete ────────────────────────────────────── */

.card-deleted {
  background: #1a0a0a;
  border-color: #6e2b2b;
}

.card-deleted::after {
  content: '';
  position: absolute;
  inset: 0;
  background: rgba(248, 81, 73, 0.06);
  border-radius: var(--radius);
  pointer-events: none;
}

.card-affected {
  background: #1a1600;
  border-color: #6e5f1a;
}

.card-affected::after {
  content: '';
  position: absolute;
  inset: 0;
  background: rgba(210, 153, 34, 0.06);
  border-radius: var(--radius);
  pointer-events: none;
}

.card-delete-btn {
  background: none;
  border: none;
  color: var(--text-muted);
  font-size: 14px;
  cursor: pointer;
  padding: 0 4px;
  line-height: 1;
  transition: color 0.1s;
}

.card-delete-btn:hover {
  color: #f85149;
}

.card-deleted .card-delete-btn {
  color: #f85149;
}

.delete-bar {
  position: fixed;
  bottom: 0;
  left: 0;
  right: 0;
  background: #161b22;
  border-top: 1px solid #21262d;
  padding: 8px 16px;
  display: flex;
  align-items: center;
  gap: 12px;
  z-index: 100;
  font-size: 13px;
}

.delete-bar .count {
  color: #f85149;
  font-weight: 600;
}

.delete-bar button {
  background: var(--bg-card);
  border: 1px solid var(--border);
  border-radius: 4px;
  color: var(--text-dim);
  font-size: 12px;
  padding: 4px 10px;
  cursor: pointer;
}

.delete-bar button:hover {
  color: var(--text);
  border-color: var(--border-hover);
}

.delete-bar .confirm {
  background: #6e2b2b;
  border-color: #f85149;
  color: #f85149;
}

.delete-bar .confirm:hover {
  background: #8b2020;
}

/* ── Infobar Actions ────────────────────────────────────── */

.infobar-actions {
  margin-left: auto;
  display: flex;
  gap: 4px;
}
.infobar-btn {
  background: none;
  border: 1px solid #444;
  color: #888;
  padding: 2px 8px;
  border-radius: 3px;
  cursor: pointer;
  font-size: 13px;
  text-decoration: none;
  line-height: 1.2;
}
.infobar-btn:hover { color: #fff; border-color: #666; }
.infobar-btn.active { color: #4af; border-color: #4af; }

/* ── Definition Graph Panel ─────────────────────────────── */

.def-graph-panel {
  background: #111;
  border-bottom: 1px solid #333;
  overflow: hidden;
  transition: max-height 0.2s ease;
  max-height: 0;
}
.def-graph-panel.open {
  max-height: 280px;
}
.def-graph-panel.hidden { display: none; }

/* ── DAG Visualization ──────────────────────────────────── */

:root {
  --edge-color: #555;
  --accent: #4af;
  --num-color: #8c8;
  --text-color: #fa8;
  --list-color: #c8f;
  --node-color: #888;
  --def-link-color: rgba(100, 170, 255, 0.3);
}

.dag-sidebar {
  position: fixed;
  right: 0;
  top: 0;
  bottom: 0;
  width: 360px;
  background: #1a1a1a;
  border-left: 1px solid #333;
  z-index: 100;
  overflow-y: auto;
  padding: 12px;
  transform: translateX(100%);
  transition: transform 0.2s ease;
}
.dag-sidebar.open {
  transform: translateX(0);
}
.dag-sidebar-header {
  display: flex;
  justify-content: space-between;
  align-items: center;
  margin-bottom: 8px;
}
.dag-sidebar-title {
  font-size: 13px;
  font-weight: 600;
  color: #ccc;
}
.dag-sidebar-close {
  background: none;
  border: none;
  color: #888;
  font-size: 18px;
  cursor: pointer;
  padding: 0 4px;
}
.dag-sidebar-close:hover { color: #fff; }

.dag-svg {
  background: #111;
  border-radius: 6px;
}
.dag-node-label {
  font-size: 11px;
  fill: #ccc;
  font-family: monospace;
}
.dag-edge-label {
  font-size: 9px;
  fill: #888;
  font-family: monospace;
}
.dag-empty {
  color: #666;
  font-size: 12px;
  padding: 16px;
  text-align: center;
}

/* Definition reference links */
.dag-def-overlay {
  position: absolute;
  top: 0;
  left: 0;
  right: 0;
  bottom: 0;
  pointer-events: none;
}

/* Stale result indicator */
.card.stale .inline-result {
  opacity: 0.4;
  text-decoration: line-through;
}
.card.stale::after {
  content: 'stale';
  position: absolute;
  top: 4px;
  right: 8px;
  font-size: 10px;
  color: #a86;
  background: rgba(168, 136, 102, 0.15);
  padding: 1px 6px;
  border-radius: 3px;
}

/* Proven result indicator — green left bar */
.inline-result.proven {
  border-left: 2px solid rgba(46, 160, 67, 0.5);
  padding-left: 4px;
}

/* Provenance button on results */
.inline-result {
  cursor: pointer;
}
.inline-result:hover {
  text-decoration: underline;
  text-decoration-color: var(--accent);
}