/* Prerequisite graph view + Authoring surface styles */

/* ──────────────────────────────────────────────────────────
   Prerequisite graph
   ────────────────────────────────────────────────────────── */
.pg {
  width: 100%;
  background: var(--paper);
  font-family: var(--font-ui);
  position: relative;
}
.pg__top {
  display: flex; justify-content: space-between; align-items: center;
  padding: 16px 48px; height: 56px;
}
.pg__top-l { display: flex; align-items: center; gap: 10px; }
.pg__top-r { display: flex; align-items: center; gap: 14px; font-size: 13px; }

.pg__viewseg { display: inline-flex; border: 1px solid var(--rule); }
.pg__viewseg-btn {
  background: transparent; border: 0; border-right: 1px solid var(--rule);
  padding: 6px 12px; font-family: var(--font-ui); font-size: 12px; cursor: pointer;
  color: var(--ink-3);
}
.pg__viewseg-btn:last-child { border-right: 0; }
.pg__viewseg-btn.is-on { background: var(--ink); color: var(--paper); }
.pg__viewseg-btn:hover:not(.is-on) { background: var(--paper-2); }

.pg__layout { display: grid; grid-template-columns: 240px 1fr; }
.pg__rail {
  border-right: 1px solid var(--rule);
  padding: 24px 24px;
  display: flex; flex-direction: column; gap: 24px;
}
.pg__rail-block {}
.pg__rail-h { margin-bottom: 8px; }

.pg__edge-list, .pg__nt-list { list-style: none; padding: 0; margin: 8px 0 0; }
.pg__edge-item { display: flex; align-items: center; gap: 10px; padding: 6px 0; }
.pg__edge-item input[type="checkbox"] { accent-color: var(--accent); margin: 0; }
.pg__edge-lbl { display: flex; align-items: center; gap: 8px; cursor: pointer; }

.pg__nt-list li { display: grid; grid-template-columns: 16px 1fr auto; align-items: center; gap: 10px; padding: 5px 0; border-bottom: 1px solid var(--rule-3); }
.pg__nt-list li:last-child { border-bottom: 0; }
.pg__nt-n { color: var(--ink-4); font-size: 11px; }

.pg__nt { display: inline-block; width: 10px; height: 10px; }
.pg__nt--axiom { transform: rotate(45deg); background: var(--ink); }
.pg__nt--def { border-radius: 50%; background: var(--ink); }
.pg__nt--lemma { background: var(--paper); border: 1px solid var(--ink); }
.pg__nt--theorem { background: var(--ink); }
.pg__nt--proc { background: var(--ink); clip-path: polygon(0 30%, 100% 30%, 85% 100%, 15% 100%); }

.pg__sel { font-family: var(--font-ui); }
.pg__sel-title { margin: 0 0 4px; }
.pg__sel-id { color: var(--ink-4); font-size: 11px; }
.pg__sel-row { display: flex; justify-content: space-between; padding: 4px 0; font-size: 12px; }
.pg__sel-empty { color: var(--ink-4); font-style: italic; padding-top: 6px; }

.pg__stage { position: relative; padding: 8px 16px 16px 0; min-height: 760px; }
.pg__ranks {
  position: absolute;
  left: 8px; top: 8px; bottom: 16px; width: 100px;
  pointer-events: none;
}
.pg__rank { position: absolute; transform: translateY(-7px); display: flex; align-items: center; gap: 8px; }
.pg__rank-n { color: var(--ink-3); }

.pg__svg { width: calc(100% - 100px); height: 760px; margin-left: 100px; display: block; }

.pg__foot {
  display: flex; justify-content: space-between; align-items: center;
  padding: 14px 48px;
}
.pg__foot-r { color: var(--ink-4); }


/* ──────────────────────────────────────────────────────────
   Authoring surface
   ────────────────────────────────────────────────────────── */
.au {
  width: 100%;
  background: var(--paper);
  font-family: var(--font-ui);
}
.au__top {
  display: flex; justify-content: space-between; align-items: center;
  padding: 16px 32px; height: 56px;
}
.au__top-l { display: flex; align-items: center; gap: 10px; font-size: 13px; }
.au__top-r { display: flex; align-items: center; gap: 14px; }
.au__validate { color: var(--ink); font-size: 12px; }
.au__dot-changed { display: inline-block; width: 6px; height: 6px; border-radius: 50%; background: var(--accent); margin-left: 6px; }

.au__layout { display: grid; grid-template-columns: 220px 1.1fr 1fr 240px; min-height: 920px; }

/* left rail */
.au__rail { border-right: 1px solid var(--rule); padding: 20px 20px; }
.au__rail-head { display: flex; justify-content: space-between; align-items: baseline; margin-bottom: 8px; }
.au__rail-count { color: var(--ink); font-weight: 500; }
.au__tree { list-style: none; padding: 0; margin: 0; }
.au__tree-item { display: grid; grid-template-columns: auto 1fr auto; gap: 8px; align-items: center; padding: 8px 0; border-bottom: 1px solid var(--rule-3); cursor: pointer; }
.au__tree-item.is-active { background: var(--paper-2); margin: 0 -8px; padding: 8px; border-bottom: 1px solid var(--rule-3); }
.au__tree-label { color: var(--ink); font-family: var(--font-mono); }
.au__tree-line { color: var(--ink-4); font-size: 11px; }

.au__filetree { list-style: none; padding: 0; margin: 0; font-family: var(--font-mono); font-size: 12px; }
.au__file { padding: 4px 0; color: var(--ink); cursor: pointer; }
.au__file--child { padding-left: 14px; }
.au__file--gchild { padding-left: 28px; color: var(--ink-3); }
.au__file--muted { color: var(--ink-5); }
.au__file.is-active { color: var(--accent); }
.au__file.is-folder { color: var(--ink); font-weight: 500; }

.au__lint { list-style: none; padding: 0; margin: 0; }
.au__lint-item { display: grid; grid-template-columns: 36px 16px 1fr; gap: 8px; align-items: center; padding: 6px 0; }
.au__lint-pos { color: var(--ink-4); font-size: 11px; }
.au__lint-mark { display: inline-flex; justify-content: center; align-items: center; width: 16px; height: 16px; font-family: var(--font-ui); font-size: 11px; font-weight: 600; }
.au__lint-mark--warn { background: var(--accent); color: var(--paper); }

/* editor + preview shared head */
.au__editor, .au__preview { border-right: 1px solid var(--rule); display: flex; flex-direction: column; }
.au__editor-head {
  display: flex; justify-content: space-between; align-items: center;
  padding: 12px 20px; border-bottom: 1px solid var(--rule); height: 40px;
}
.au__tab-stops { display: flex; gap: 14px; }
.au__tab-stops .t-mono { color: var(--ink-4); }

/* code area */
.au__code {
  font-family: var(--font-mono); font-size: 13px; line-height: 22px;
  padding: 16px 0;
  background: var(--paper);
  flex: 1;
  overflow: hidden;
}
.au__line { display: grid; grid-template-columns: 48px 1fr; align-items: baseline; padding: 0 20px 0 0; position: relative; }
.au__line.is-active { background: var(--paper-2); }
.au__gutter { color: var(--ink-5); padding-right: 16px; text-align: right; user-select: none; }
.au__lineN { color: var(--ink); position: relative; }

/* token colors — subtle, monochromatic with one accent for math */
.tk-key   { color: var(--ink); font-weight: 500; }
.tk-str   { color: var(--ink-3); }
.tk-doc   { color: var(--ink-3); font-style: italic; }
.tk-punc  { color: var(--ink-4); }
.tk-ws    { color: var(--ink-5); }
.tk-ident { color: var(--ink); }
.tk-var   { color: var(--ink); font-style: italic; }
.tk-type  { color: var(--ink); font-weight: 500; }
.tk-op    { color: var(--ink-3); }
.tk-anno  { color: var(--accent); }
.tk-num   { color: var(--ink); }
.tk-math  { color: var(--accent); }

.au__math-inline {
  display: inline-flex; align-items: baseline; gap: 2px;
  padding: 0 4px; background: var(--paper-2);
  border-bottom: 1px dotted var(--accent);
}
.au__math-inline .katex { font-size: 14px; color: var(--ink); }
.au__math-delim { color: var(--accent); font-family: var(--font-mono); }

.au__caret {
  display: inline-block; width: 1px; height: 16px;
  background: var(--ink); animation: au-blink 1.06s steps(1) infinite;
  vertical-align: middle; margin: 0 0 0 0;
}
.au__caret--small { width: 1px; height: 12px; }
@keyframes au-blink { 0%, 50% { opacity: 1 } 50.01%, 100% { opacity: 0 } }

/* autocomplete */
.au__ac {
  position: absolute;
  left: 220px; top: 24px;
  width: 460px;
  background: var(--paper);
  border: 1px solid var(--ink);
  box-shadow: 4px 4px 0 0 var(--rule-3);
  z-index: 10;
  font-family: var(--font-ui);
}
.au__ac-head {
  display: flex; justify-content: space-between; align-items: baseline;
  padding: 10px 14px; border-bottom: 1px solid var(--rule);
  background: var(--paper-2);
}
.au__ac-meta { color: var(--ink-4); }
.au__ac-list { list-style: none; padding: 0; margin: 0; }
.au__ac-item {
  display: grid; grid-template-columns: 50px minmax(180px, 1fr) 2fr;
  gap: 14px; align-items: center;
  padding: 10px 14px; border-bottom: 1px solid var(--rule-3); cursor: pointer;
}
.au__ac-item:last-child { border-bottom: 0; }
.au__ac-item.is-on { background: var(--paper-2); border-left: 2px solid var(--accent); padding-left: 12px; }
.au__ac-item:hover:not(.is-on) { background: var(--paper-2); }
.au__ac-key { color: var(--ink); font-size: 13px; }
.au__ac-hl { background: var(--accent); color: var(--paper); padding: 0 2px; }
.au__ac-desc { color: var(--ink-3); font-size: 12px; line-height: 1.4; }
.au__ac-foot { display: flex; gap: 18px; padding: 8px 14px; border-top: 1px solid var(--rule); background: var(--paper-2); }

/* preview */
.au__pv { padding: 24px; flex: 1; display: flex; flex-direction: column; gap: 24px; }
.au__pv-card {
  border: 1px solid var(--rule);
  padding: 24px;
  background: var(--paper);
  display: flex; flex-direction: column; gap: 12px;
}
.au__pv-card--theorem { border-color: var(--rule-2); }
.au__pv-head { display: flex; align-items: center; gap: 10px; }
.au__pv-id { color: var(--ink-4); font-size: 11px; margin-left: auto; }
.au__pv-title { margin: 0; }
.au__pv-doc { color: var(--ink); margin: 0; max-width: 56ch; }
.au__pv-dl {
  display: grid; grid-template-columns: 90px 1fr; gap: 8px 18px;
  margin: 8px 0; align-items: baseline;
}
.au__pv-dl dt { padding-top: 2px; }
.au__pv-dl dd { margin: 0; }
.au__pv-math { padding: 6px 0; }
.au__pv-meta { display: flex; gap: 14px; align-items: center; padding: 4px 0; }
.au__pv-warn { color: var(--accent); margin-left: auto; }
.au__pv-incomplete { color: var(--ink-3); }
.au__warn-em { color: var(--accent) !important; }

/* right rail — entities */
.au__entities { padding: 20px 20px; display: flex; flex-direction: column; gap: 18px; }
.au__minigraph { width: 100%; height: 240px; border: 1px solid var(--rule-3); background: var(--paper); }
.au__entity { padding: 10px 0; }
.au__entity--warn { border-left: 2px solid var(--accent); padding-left: 10px; margin-left: -12px; }
.au__entity-head { display: flex; align-items: center; gap: 8px; margin-bottom: 8px; }
.au__entity-id { color: var(--ink); font-size: 12px; }
.au__entity-meta { list-style: none; padding: 0; margin: 0; }
.au__entity-meta li { display: flex; justify-content: space-between; padding: 3px 0; font-size: 12px; }

.au__compile { list-style: none; padding: 0; margin: 0; }
.au__compile li { display: grid; grid-template-columns: 18px 1fr auto; gap: 8px; padding: 4px 0; align-items: baseline; }
.au__compile-mark { color: var(--ink); font-family: var(--font-mono); font-size: 12px; }
.au__compile-mark--warn { color: var(--accent); }
.au__compile-mark--idle { color: var(--ink-5); }
.au__compile-time { color: var(--ink-4); font-size: 11px; }