/* dagedit kit: the editor fills its box like a terminal window. Colours, font and size
   are --dagedit-* custom properties; these defaults follow the reader's light or dark
   system setting, and a theme can set them all (FOL's fol.css does). */
.dagedit-wrap {
  --dagedit-bg: #fbfbf8;
  --dagedit-fg: #1b1b1b;
  --dagedit-dim: #7a7a7a;      /* column labels, hints */
  --dagedit-seq: #8c8c8c;      /* a column's own sequence lines */
  --dagedit-link: #a0369a;     /* links between columns, and their arrows */
  --dagedit-clip: #9a6a00;     /* the copied node's bullet */
  --dagedit-message: #9a6a00;
  --dagedit-box: #127a8a;      /* help and palette box frames */
  --dagedit-deleted: #c62828;
  --dagedit-header-bg: #1b1b1b;   /* title and status bars */
  --dagedit-header-fg: #fbfbf8;
  --dagedit-sel-bg: #1b1b1b;      /* the selected node */
  --dagedit-sel-fg: #fbfbf8;
  --dagedit-cursor: #1b1b1b;
  --dagedit-rule: #d8d8d2;
  --dagedit-panel-bg: #ffffff;    /* behind the Graphviz drawing */
  --dagedit-font: "IBM Plex Mono", ui-monospace, "DejaVu Sans Mono", Menlo, Consolas, monospace;
  --dagedit-size: 15px;
  --dagedit-line: 1.2;
  --dagedit-ui-font: system-ui, sans-serif;
}
@media (prefers-color-scheme: dark) {
  .dagedit-wrap {
    --dagedit-bg: #141414;
    --dagedit-fg: #e4e4e4;
    --dagedit-dim: #8a8a8a;
    --dagedit-seq: #6e6e6e;
    --dagedit-link: #d77bd2;
    --dagedit-clip: #e5c07b;
    --dagedit-message: #e5c07b;
    --dagedit-box: #56b6c2;
    --dagedit-deleted: #ef5350;
    --dagedit-header-bg: #e4e4e4;
    --dagedit-header-fg: #141414;
    --dagedit-sel-bg: #e4e4e4;
    --dagedit-sel-fg: #141414;
    --dagedit-cursor: #e4e4e4;
    --dagedit-rule: #333333;
    --dagedit-panel-bg: #f4f4f1;
  }
}

.dagedit-wrap { height: 100vh; height: 100dvh; display: flex; flex-direction: column;
  background: var(--dagedit-bg); color: var(--dagedit-fg); }
.dagedit-app { position: relative; flex: 1; min-height: 0; display: flex; }

/* The terminal */
.dagedit-term { position: relative; flex: 1; min-width: 0; overflow: hidden;
  background: var(--dagedit-bg); cursor: text; }
.dagedit-screen, .dagedit-probe, .dagedit-input {
  font-family: var(--dagedit-font); font-size: var(--dagedit-size);
  line-height: var(--dagedit-line); font-variant-ligatures: none; letter-spacing: 0; }
.dagedit-screen { margin: 0; padding: 0; white-space: pre; color: var(--dagedit-fg);
  background: none; border: 0; overflow: hidden; user-select: none; }
.dagedit-probe { position: absolute; visibility: hidden; white-space: pre; left: 0; top: 0; }
.dagedit-input { position: absolute; width: 1em; height: 1.2em; padding: 0; border: 0;
  margin: 0; opacity: 0; resize: none; overflow: hidden; color: transparent;
  background: transparent; caret-color: transparent; }

/* The editor's styles (dagedit.editor): one class per cell style */
.dg-bullet { font-weight: 600; }
.dg-clip { font-weight: 600; color: var(--dagedit-clip); }
.dg-selected, .dg-boxsel { background: var(--dagedit-sel-bg); color: var(--dagedit-sel-fg); }
.dg-seq { color: var(--dagedit-seq); }
.dg-link { color: var(--dagedit-link); }
.dg-arrow { color: var(--dagedit-link); font-weight: 600; }
.dg-header { background: var(--dagedit-header-bg); color: var(--dagedit-header-fg); }
.dg-dim { color: var(--dagedit-dim); }
.dg-message { color: var(--dagedit-message); }
.dg-box { color: var(--dagedit-box); }
.dg-deleted { color: var(--dagedit-deleted); text-decoration: line-through; }
.dg-deletedsel { background: var(--dagedit-sel-bg); color: var(--dagedit-deleted);
  text-decoration: line-through; }
.dg-cur { background: var(--dagedit-cursor); color: var(--dagedit-bg);
  animation: dagedit-blink 1.1s steps(1) infinite; }
.dagedit-term:not(:focus-within) .dg-cur { background: none; color: inherit;
  outline: 1px solid var(--dagedit-cursor); outline-offset: -1px; animation: none; }
@keyframes dagedit-blink { 50% { background: none; color: inherit; } }
@media (prefers-reduced-motion: reduce) { .dg-cur { animation: none; } }

/* The Graphviz view: a pop-up, or pinned as the right half */
.dagedit-graph { display: flex; flex-direction: column; min-width: 0;
  background: var(--dagedit-bg); font-family: var(--dagedit-ui-font); font-size: 13px; }
.dagedit-graph[hidden] { display: none; }
.dagedit-app.graph-popup .dagedit-graph { position: absolute; inset: 4% 5%; z-index: 5;
  border: 1px solid var(--dagedit-rule); box-shadow: 0 8px 30px rgba(0, 0, 0, .25); }
.dagedit-app.graph-pinned .dagedit-graph { flex: 1; border-left: 1px solid var(--dagedit-rule); }
.dagedit-graph-bar { display: flex; align-items: center; gap: 6px; padding: 4px 8px;
  background: var(--dagedit-header-bg); color: var(--dagedit-header-fg);
  font-family: var(--dagedit-font); font-size: calc(var(--dagedit-size) * .85); }
.dagedit-graph-title { flex: 1; white-space: nowrap; overflow: hidden; text-overflow: ellipsis; }
.dagedit-graph-bar button, .dagedit-details button { font: inherit; color: inherit;
  background: none; border: 1px solid currentColor; padding: 0 8px; cursor: pointer; }
.dagedit-graph-body { flex: 1; min-height: 0; overflow: auto; padding: 12px;
  background: var(--dagedit-panel-bg); display: flex; align-items: flex-start;
  justify-content: center; }
.dagedit-graph-body svg { max-width: 100%; height: auto; }
.dagedit-graph-note { color: #555; font-family: var(--dagedit-font); }

/* Details (Ctrl+D) */
.dagedit-details { position: absolute; inset: 0; z-index: 6; display: flex;
  align-items: center; justify-content: center; background: rgba(0, 0, 0, .35); }
.dagedit-details[hidden] { display: none; }
.dagedit-details-box { width: min(64ch, 92%); display: flex; flex-direction: column;
  gap: 6px; padding: 10px; background: var(--dagedit-bg); color: var(--dagedit-fg);
  border: 1px solid var(--dagedit-box); font-family: var(--dagedit-font);
  font-size: var(--dagedit-size); }
.dagedit-details-title { color: var(--dagedit-box); }
.dagedit-details-text { min-height: 14em; font: inherit; color: inherit;
  background: var(--dagedit-bg); border: 1px solid var(--dagedit-rule); padding: 6px; resize: vertical; }
.dagedit-details-buttons { display: flex; gap: 8px; align-items: center; }
.dagedit-details-hint { flex: 1; color: var(--dagedit-dim); font-size: .85em; }

/* Touch screens without a keyboard can't drive it */
.dagedit-touch-note { display: none; margin: 0; padding: 8px 16px;
  font-family: var(--dagedit-ui-font); font-size: 14px;
  background: var(--dagedit-header-bg); color: var(--dagedit-header-fg); }
@media (hover: none) and (pointer: coarse) { .dagedit-touch-note { display: block; } }

/* Narrow windows: the pinned graph goes underneath */
@media (max-width: 760px) {
  .dagedit-app.graph-pinned { flex-direction: column; }
  .dagedit-app.graph-pinned .dagedit-graph { border-left: 0; border-top: 1px solid var(--dagedit-rule); }
}

/* One cell per character: symbols from a fallback font get a box a cell wide (web.cljs) */
.dg-w { display: inline-block; width: 1ch; overflow: visible; text-align: center; }