/* The version bar above the three panels: which saved version is shown, and checks. */
:root { --version-bar-h: 34px; }

.version-bar {
  height: var(--version-bar-h);
  display: flex;
  align-items: center;
  gap: 12px;
  padding: 0 12px;
  border-bottom: 1px solid var(--border);
  background: var(--surface-subtle);
  font-size: 13px;
  color: var(--text);
  position: relative;
  z-index: 20;
  white-space: nowrap;
}
.version-bar .vb-main { display: flex; align-items: center; gap: 12px; min-width: 0; flex: 1 1 auto; overflow: hidden; }

.vb-switch { display: inline-flex; flex: 0 0 auto; border: 1px solid #c5d1e4; border-radius: 6px; overflow: hidden; background: #fff; }
.vb-side { height: 24px; padding: 0 12px; border: 0; background: transparent; color: #24466f; font: 600 13px var(--sans, system-ui); cursor: pointer; }
.vb-side + .vb-side { border-left: 1px solid #c5d1e4; }
.vb-side:hover { background: #eef2fc; }
.vb-side[aria-pressed="true"] { background: #245bd6; color: #fff; }
.vb-side[aria-disabled="true"] { color: #8a96a8; cursor: default; background: transparent; }
.vb-side .vb-detail { font-weight: 400; opacity: .8; font-family: var(--mono); font-size: 12px; }
.vb-side[aria-disabled="true"] .vb-detail { font-family: inherit; font-style: italic; }
/* The latest check of your files, older than the files themselves. */
.vb-side.is-stale .vb-detail { font-family: inherit; color: #9a6700; opacity: 1; }
.vb-side.is-stale[aria-pressed="true"] { background: #f3e2b3; color: #5c4200; }
.vb-side.is-stale[aria-pressed="true"] .vb-detail { color: #5c4200; }

.vb-status { color: var(--muted); overflow: hidden; text-overflow: ellipsis; min-width: 0; }
.vb-status.is-error { color: #b42318; }
.vb-status.is-warn { color: #9a6700; }
.vb-viewing { color: #9a6700; overflow: hidden; text-overflow: ellipsis; min-width: 0; }

.vb-button { flex: 0 0 auto; height: 24px; padding: 0 11px; border: 1px solid #c5d1e4; border-radius: 6px; background: #fff; color: #24466f; font: 600 12px var(--sans, system-ui); cursor: pointer; }
.vb-button:hover:not(:disabled) { background: #eef2fc; }
.vb-button:disabled { opacity: .55; cursor: default; }
.vb-button.is-primary { background: #245bd6; border-color: #245bd6; color: #fff; }
.vb-button.is-primary:hover:not(:disabled) { background: #1d4fbf; }
.vb-button[aria-pressed="true"], .vb-button[aria-pressed="true"]:hover:not(:disabled) { background: #4f6fc4; border-color: #4f6fc4; color: #fff; }
.vb-link { border: 0; padding: 0; background: none; color: #245bd6; font: inherit; text-decoration: underline; cursor: pointer; }

.vb-progress { display: inline-flex; align-items: center; gap: 8px; color: #24466f; font-weight: 600; min-width: 0; overflow: hidden; text-overflow: ellipsis; }
.vb-spinner { flex: 0 0 auto; width: 12px; height: 12px; border: 2px solid #c5d1e4; border-top-color: #245bd6; border-radius: 50%; animation: vb-spin .9s linear infinite; }
@keyframes vb-spin { to { transform: rotate(360deg); } }
@media (prefers-reduced-motion: reduce) { .vb-spinner { animation: none; } }
.vb-warning { flex: 0 0 auto; padding: 2px 7px; border-radius: 4px; background: #fff4d6; color: #7a5200; font-size: 12px; cursor: help; }

.vb-all { flex: 0 1 260px; min-width: 120px; height: 24px; border: 1px solid var(--border-strong); border-radius: 6px; background: #fff; color: var(--muted); font-size: 12px; padding: 0 6px; }

/* Your files: a split button, the version on the left and the list of checked versions beside it. */
.vb-split { display: inline-flex; border-left: 1px solid #c5d1e4; }
.vb-split .vb-side { border-left: 0; }
.vb-split-toggle { width: 26px; height: 24px; border: 0; border-left: 1px solid #c5d1e4; background: transparent; color: #24466f; font-size: 11px; cursor: pointer; }
.vb-split-toggle:hover, .vb-split-toggle[aria-expanded="true"] { background: #eef2fc; }
.vb-split.is-selected .vb-split-toggle { background: #245bd6; color: #fff; border-left-color: #4d7be0; }
.vb-split.is-selected.is-stale .vb-split-toggle { background: #f3e2b3; color: #5c4200; border-left-color: #e0c98a; }
.vb-side.is-stale:not([aria-pressed="true"]) .vb-detail { color: #9a6700; font-style: normal; }

.vb-menu { position: absolute; z-index: 30; min-width: 260px; padding: 4px; border: 1px solid #c5d1e4; border-radius: 8px; background: #fff; box-shadow: 0 10px 30px #172b4d26; }
.vb-menu[hidden] { display: none; }
.vb-menu-item { display: flex; flex-direction: column; align-items: flex-start; gap: 1px; width: 100%; padding: 6px 10px 6px 26px; border: 0; border-radius: 5px; background: none; color: var(--text); font: 13px var(--sans, system-ui); text-align: left; cursor: pointer; position: relative; }
.vb-menu-item:hover, .vb-menu-item:focus-visible { background: #eef2fc; outline: none; }
.vb-menu-item[aria-checked="true"]::before { content: '✓'; position: absolute; left: 9px; top: 6px; color: #245bd6; font-weight: 700; }
.vb-menu-label { font-weight: 600; }
.vb-menu-detail { color: var(--muted); font-size: 12px; }
.vb-menu-heading { margin: 6px 10px 2px; padding-top: 6px; border-top: 1px solid var(--border); color: var(--muted); font-size: 11px; text-transform: uppercase; letter-spacing: .04em; }

.vb-notice { width: min(460px, calc(100vw - 48px)); padding: 22px 24px; border: 1px solid #d7dfec; border-radius: 10px; color: var(--text); background: #fff; box-shadow: 0 18px 70px #172b4d33; font-size: 13px; line-height: 1.5; }
.vb-notice::backdrop { background: rgb(25 38 58 / 30%); }
.vb-notice-title { margin: 0 0 10px; font-size: 16px; }
.vb-notice-files { margin: 0 0 10px; padding-left: 18px; font-family: var(--mono); font-size: 12px; color: #24466f; }
.vb-notice-more { font-family: inherit; color: var(--muted); list-style: none; margin-left: -18px; }
.vb-notice p { margin: 0 0 16px; color: var(--muted); }
.vb-notice-actions { display: flex; gap: 8px; justify-content: flex-end; }

/* Language model: a button at the bar's right end and its settings dialog. */
.vb-model { flex: 0 1 auto; max-width: 320px; height: 24px; padding: 0 10px; border: 1px solid var(--border-strong); border-radius: 6px; background: #fff;
  color: #24466f; font: 600 12px var(--sans, system-ui); overflow: hidden; text-overflow: ellipsis; white-space: nowrap; cursor: pointer; }
.vb-model:hover { background: #eef2fc; }
.ms-dialog { width: min(520px, calc(100vw - 48px)); }
.ms-form { display: flex; flex-direction: column; gap: 10px; }
.ms-form label { display: flex; flex-direction: column; gap: 4px; font-weight: 600; font-size: 12px; color: #24466f; }
.ms-form input, .ms-form select { height: 30px; padding: 0 8px; border: 1px solid var(--border-strong); border-radius: 6px; font: 13px var(--sans, system-ui); color: var(--text); }
.ms-form input[readonly] { background: var(--surface-subtle); color: var(--muted); }
.ms-form input[name="base_url"], .ms-form input[name="model"] { font-family: var(--mono); font-size: 12px; }
.ms-presets { margin: -4px 0 0; font-size: 12px; color: var(--muted); }
.ms-presets[hidden] { display: none; }
.ms-test { display: flex; align-items: center; gap: 10px; }
.ms-status { color: #1a7f37; font-size: 12px; }
.ms-note { margin: 0; font-size: 12px; }
.ms-error { margin: 0; color: #b42318; font-size: 12px; }
.ms-error[hidden] { display: none; }
.ms-field { display: flex; flex-direction: column; gap: 4px; }
.ms-label { font-weight: 600; font-size: 12px; color: #24466f; }
.ms-form .ms-filter { height: 28px; }
.ms-models { max-height: 184px; overflow: auto; padding: 3px; border: 1px solid var(--border-strong); border-radius: 6px; background: #fff; }
.ms-model { display: flex; justify-content: space-between; gap: 12px; width: 100%; padding: 5px 8px; border: 0; border-radius: 4px; background: none;
  color: var(--text); font: 12px var(--mono); text-align: left; cursor: pointer; }
.ms-model:hover, .ms-model:focus-visible { background: #eef2fc; outline: none; }
.ms-model[aria-selected="true"] { background: #245bd6; color: #fff; }
.ms-model-price { flex: 0 0 auto; color: var(--muted); font: 11px var(--sans, system-ui); }
.ms-model[aria-selected="true"] .ms-model-price { color: #dbe6ff; }
.ms-models .ms-hint { padding: 4px 6px; }
.ms-hint { margin: 0; font-size: 12px; color: var(--muted); }
.ms-tight { margin-top: -6px; }
.ms-price { display: flex; flex-direction: column; gap: 3px; padding: 8px 10px; border-radius: 6px; background: var(--surface-subtle); }
.ms-price p { margin: 0; font-size: 12px; }
.ms-price-inputs { display: flex; gap: 10px; }
.ms-price-inputs label { flex: 1; }

/* Paper alignment: a strip in the Paper header, and its preview. */
.vb-context { display: inline-flex; align-items: center; gap: 10px; min-width: 0; color: var(--muted); }
.vb-context[hidden] { display: none; }
.vb-context .pa-text { overflow: hidden; text-overflow: ellipsis; }
.pa-text.is-error { color: #b42318; }
.pa-text.is-warn { color: #9a6700; }
.pa-dialog { width: min(520px, calc(100vw - 48px)); }
.pa-dialog p { margin: 0 0 10px; }
.pa-model { padding: 8px 10px; border-radius: 6px; background: #fff4d6; color: #5c4200; }
.pa-unavailable { margin: 0 0 10px; font-size: 12px; }
.pa-unavailable ul { margin: 6px 0 0; padding-left: 18px; color: var(--muted); }

/* A carried paper judgment that no longer holds: to be aligned again. */
.paper-route-status-realign { color: #5b21b6; background: #f5f3ff; border-color: #ddd6fe; }
.paper-route-status-realign .paper-route-status-icon,
.paper-coverage-filter-realign .paper-coverage-filter-icon { background: #7c3aed; }
.paper-coverage-filter-realign.active { border-color: rgba(124, 58, 237, 0.30); background: #f5f3ff; }
.paper-html-status-realign .paper-html-status-text { color: #5b21b6; border-color: #c4b5fd; background: #f5f3ff; }
.sa-carried { margin-top: 6px; color: #64748b; font-size: 0.78rem; }
.pa-reasons { margin: 8px 0; padding-left: 18px; max-height: 40vh; overflow: auto; }
.pa-reasons > li { margin-bottom: 6px; }
.pa-reasons ul { margin: 2px 0 0; padding-left: 16px; color: #475569; font-size: 0.85rem; }
.paper-coverage-route-new { margin-top: 6px; color: #5b21b6; font-size: 0.74rem; }
.pa-optional { display: flex; gap: 6px; align-items: baseline; margin: 10px 0 4px; }

/* Compare in the Paper tab: what changed for each paper item since the last commit. */
.paper-compare-header { display: flex; flex-wrap: wrap; gap: 6px 12px; align-items: center; padding: 6px 10px; margin: 0 0 6px;
  border: 1px solid #e2e8f0; border-radius: 8px; background: #f8fafc; color: #334155; font-size: 0.78rem; }
.paper-compare-header .vb-button { padding: 2px 10px; font-size: 0.74rem; }
/* While comparing, each row opens with its change, across the item and its two routes; the
   routes keep their status and target, without their long reasons. */
.paper-coverage-change { order: -1; grid-column: 1 / -1; padding: 8px 12px 2px; }
.is-comparing .paper-coverage-route-reason { display: none; }
.paper-coverage-change .paper-change-notes { margin-top: 0; }
.paper-compare-note { color: #64748b; font-size: 0.74rem; }
.paper-change-notes { display: grid; gap: 4px; margin-top: 6px; }
.paper-change-note { font-size: 0.74rem; line-height: 1.35; color: #334155; border-left: 3px solid #94a3b8; padding-left: 6px; }
.paper-change-note.paper-change-level-1 { border-left-color: #7c3aed; }
.paper-change-note.paper-change-level-2 { border-left-color: #0f766e; }
.paper-change-note.paper-change-level-3 { border-left-color: #cbd5e1; color: #64748b; }
.paper-change-label { text-transform: uppercase; letter-spacing: 0.04em; font-size: 0.64rem; color: #64748b; }
.paper-change-detail { color: #64748b; }
.paper-change-chip { display: inline-flex; align-items: center; margin-left: 6px; padding: 1px 7px; border-radius: 999px; font-size: 0.7rem;
  font-family: ui-monospace, SFMono-Regular, Menlo, monospace; border: 1px solid #cbd5e1; color: #475569; background: #fff; }
.paper-change-chip.paper-change-level-1 { border-color: #c4b5fd; color: #5b21b6; background: #f5f3ff; }
.paper-change-chip.paper-change-level-2 { border-color: #99f6e4; color: #0f766e; background: #f0fdfa; }
.paper-change-focus { margin-bottom: 8px; }

/* Blueprint tab: Lean declarations drawn beside the author's nodes are dashed; on Compare, a node
   whose color changed is painted half and half (last commit | now), edits carry a letter, and the
   rest fades. */
.graph-view-title { font-size: 0.95rem; font-weight: 700; color: #0f172a; margin-right: 4px; }
/* The kernel colors force a solid 1px outline (kernel_colors.css); these outlines win over it. */
/* These outlines scale with the drawing (no non-scaling stroke), so a dash keeps its size next to
   its node at every zoom. */
.graph-node-group.bp-extra[data-proof-state]:not([data-completeness-source="author"]) > .graph-node-shape:not(.study-chip):not(.folder-node-shape) { vector-effect: none !important; stroke-dasharray: 14 9 !important; stroke-width: 3.5 !important; }
.graph-node-group.bp-extra .graph-label { font-style: italic; }
.graph-edge.bp-extra-edge { stroke-dasharray: 6 5; }
.graph-node-group.bp-faded, .graph-edge.bp-faded { opacity: 0.2; transition: opacity 260ms ease; }
.graph-svg.bp-settling .graph-edge, .graph-svg.bp-settling .graph-node-group, .graph-svg.bp-settling .graph-node-shape { transition: none !important; }
/* Hovering a blueprint node previews its path over any focus or Compare fade. */
.graph-svg.bp-hovering .graph-node-group.bp-hover-dim { opacity: 0.18 !important; }
.graph-svg.bp-hovering .graph-node-group.bp-hover-path { opacity: 1 !important; }
.graph-svg.bp-hovering .graph-edge.bp-hover-dim { opacity: 0.1 !important; }
.graph-svg.bp-hovering .graph-edge.bp-hover-path { opacity: 1 !important; stroke-width: 2.35; }
.graph-svg.bp-hovering .graph-edge.bp-hover-path:not(.bp-extra-edge) { stroke: #000000; stroke-opacity: 0.98; }
.graph-edge.bp-change-path { stroke: #7c3aed; stroke-width: 2.4px; opacity: 1; transition: opacity 320ms ease, stroke-width 320ms ease; }
.graph-edge.bp-change-path.bp-wave-pending { opacity: 0.12; stroke-width: 1px; }
.bp-change-letter rect { fill: #b45309; stroke: #ffffff; stroke-width: 2px; }
.bp-change-letter.bp-letter-A rect { fill: #15803d; }
.bp-change-letter.bp-letter-D rect { fill: #b91c1c; }
.bp-change-letter text { fill: #ffffff; font-size: 13px; font-weight: 800; }
.graph-node-group.bp-wave-pulse .graph-node-shape { animation: bp-wave-pulse 700ms ease-out; transform-box: fill-box; transform-origin: center; }
@keyframes bp-wave-pulse { 0% { transform: scale(1); } 35% { transform: scale(1.14); } 100% { transform: scale(1); } }
.bp-changes-chip { background: #f5f3ff; border-color: #ddd6fe; color: #5b21b6; }
.bp-extra-card .bp-extra-name { margin: 6px 0; font-size: 0.85rem; }
.bp-extra-card .bp-extra-look { margin-left: 6px; padding: 1px 7px; border-radius: 999px; font-size: 0.72rem; border: 1px solid #e2e8f0; }
.bp-extra-card .bp-look-own { background: #ffdde3; border-color: #ef476f; color: #a91d42; }
.bp-extra-card .bp-look-inherited { background: #fbebcf; border-color: #df8a16; color: #92540c; }
.bp-extra-card .bp-look-proved { background: #dcf3e7; border-color: #63b58a; color: #216748; }
.bp-extra-signature { white-space: pre-wrap; font-size: 0.74rem; background: #f8fafc; border: 1px solid #e2e8f0; border-radius: 6px; padding: 6px 8px; }
.legend-dot.legend-bp-extra { border-style: dashed; border-width: 2px; }
.legend-dot.legend-bp-half { background: linear-gradient(90deg, #fbebcf 50%, #dcf3e7 50%); border-color: #63b58a; }
.legend-line.legend-bp-extra-edge { border-top: 2px dashed #64748b; background: none; }
.legend-line.legend-bp-change-path { border-top: 3px dashed #7c3aed; background: none; }
.legend-badge { display: inline-block; min-width: 14px; padding: 0 3px; margin-right: 3px; border-radius: 3px; color: #fff; font-size: 0.66rem; font-weight: 800; text-align: center; }
.legend-badge-M { background: #b45309; } .legend-badge-A { background: #15803d; }

/* Structure → Changes: one row per changed file, Git's letter, name, folder, edited count. */
.changes-nav-list { display: flex; flex-direction: column; gap: 1px; padding: 2px 0; }
.changes-nav-row { display: grid; grid-template-columns: 18px minmax(0, auto) minmax(0, 1fr) auto; align-items: baseline; gap: 6px;
  width: 100%; padding: 4px 8px; border: 0; border-radius: 6px; background: none; text-align: left; font: inherit; color: #0f172a; cursor: pointer; }
.changes-nav-row:hover:not([disabled]) { background: #f1f5f9; }
.changes-nav-row.selected, .changes-nav-row.selected:hover { background: #e0e7ff; }
.changes-nav-row[disabled] { cursor: default; opacity: 0.6; }
.changes-nav-row.changes-nav-other .changes-nav-name { color: #475569; }
.changes-nav-letter { font: 700 0.72rem/1 var(--mono, ui-monospace, monospace); text-align: center; }
.changes-nav-letter.changes-nav-modified { color: #b45309; }
.changes-nav-letter.changes-nav-added { color: #15803d; }
.changes-nav-letter.changes-nav-deleted { color: #b91c1c; }
.changes-nav-name { font-size: 0.86rem; white-space: nowrap; overflow: hidden; text-overflow: ellipsis; }
.changes-nav-folder { font-size: 0.74rem; color: #94a3b8; white-space: nowrap; overflow: hidden; text-overflow: ellipsis; direction: rtl; text-align: left; }
.changes-nav-count { font-size: 0.72rem; color: #475569; background: #f1f5f9; border-radius: 999px; padding: 0 6px; }

/* Selection focus in Changes: each changed declaration with a last-commit | now chip. */
.overview-block.changes-decls { margin: 0; padding-top: 0; }
.changes-decl-head { display: flex; align-items: baseline; gap: 8px; font-size: 0.86rem; color: #0f172a; margin: 0 0 4px; }
.changes-decl-head span { font-size: 0.74rem; color: #64748b; }
.changes-decl-list { display: flex; flex-direction: column; gap: 5px; }
.changes-decl-group { display: flex; flex-direction: column; gap: 0; }
.changes-decl-title { font-size: 0.68rem; font-weight: 700; letter-spacing: 0.04em; text-transform: uppercase; color: #64748b; margin: 0 0 1px; }
.changes-decl-title span { font-weight: 600; color: #94a3b8; margin-left: 4px; }
.changes-decl-row { display: grid; grid-template-columns: 20px minmax(0, 1fr) auto; align-items: center; gap: 8px; width: 100%;
  padding: 2px 6px; border: 0; border-radius: 6px; background: none; text-align: left; font: inherit; color: #0f172a; cursor: pointer; }
.changes-decl-row:hover:not([disabled]) { background: #f1f5f9; }
.changes-decl-row.selected, .changes-decl-row.selected:hover { background: #e0e7ff; }
.changes-decl-row[disabled] { cursor: default; opacity: 0.55; }
.changes-decl-chip { width: 20px; height: 11px; border-radius: 2px; border: 1px solid rgba(15, 23, 42, 0.35); }
.changes-decl-name { font-size: 0.84rem; font-family: var(--mono, ui-monospace, monospace); white-space: nowrap; overflow: hidden; text-overflow: ellipsis; }
.changes-decl-file { font-size: 0.72rem; color: #94a3b8; white-space: nowrap; }

/* Code panel in Changes: the chosen file's diff between the last commit and your checked files. */
.changes-diff-panel { display: flex; flex-direction: column; gap: 6px; height: 100%; min-height: 0; box-sizing: border-box; }
.changes-diff-title { font-weight: 700; font-size: 0.9rem; color: #0f172a; overflow-wrap: anywhere; }
.diff-line.diff-focus { box-shadow: inset 3px 0 0 #6366f1; }
.check-errors-dialog { max-width: min(720px, 92vw); border: 1px solid #cbd5e1; border-radius: 8px; padding: 14px 16px; }
.check-errors-dialog::backdrop { background: rgba(15, 23, 42, 0.25); }
.check-errors-close { margin-top: 10px; float: right; border: 1px solid #cbd5e1; border-radius: 6px; background: #fff; padding: 4px 12px; cursor: pointer; }

/* Changes: the code panel's three views, drawn like the bar's two versions. */
.changes-view-switch { display: inline-flex; align-self: flex-start; justify-self: start; border: 1px solid #c5d1e4; border-radius: 6px; overflow: hidden; background: #fff; }
.changes-view-switch button { height: 26px; padding: 0 11px; border: 0; background: transparent; color: #24466f; font: 600 12px var(--sans, system-ui); cursor: pointer; }
.changes-view-switch button + button { border-left: 1px solid #c5d1e4; }
.changes-view-switch button:hover { background: #eef2fc; }
.changes-view-switch button:disabled { background: transparent; color: #9aa8bc; cursor: default; }
.changes-view-switch button[aria-pressed="true"] { background: #245bd6; color: #fff; }
.source-panel.has-view-switch { grid-template-rows: auto auto minmax(0, 1fr); }
.source-panel.has-view-switch > .changes-view-switch { margin: 8px 12px 0; }
.changes-other-editor { flex: 1; min-height: 0; overflow: auto; }
/* Changes in Structure waits for Compare. */
.navigator-switch-button[aria-disabled="true"] { opacity: 0.45; cursor: default; }

/* The dashboard's tooltip (tooltips.mjs): light, near the pointer, quicker than the browser's. */
.lt-tooltip { position: fixed; left: 0; top: 0; z-index: 10000; max-width: 340px; padding: 6px 9px; border: 1px solid #cbd5e1;
  border-radius: 6px; background: #ffffff; color: #0f172a; font: 12px/1.45 var(--sans, system-ui, sans-serif); white-space: pre-line;
  overflow-wrap: anywhere; box-shadow: 0 6px 20px rgba(15, 23, 42, 0.16); pointer-events: none; opacity: 0; transition: opacity 90ms ease; }
.lt-tooltip.is-shown { opacity: 1; }

/* While Compare is on: one label for both versions, your files over the last commit. */
.vb-pair { cursor: default; border-color: #245bd6; }
.vb-pair .vb-side { display: inline-flex; align-items: center; gap: 5px; background: #245bd6; color: #fff; cursor: default; }
.vb-pair .vb-side + .vb-side { border-left-color: rgba(255, 255, 255, 0.45); }

/* The diff in the code panel's own frame: no box of its own, the editor's type size. */
.source-summary-controls-reserved { visibility: hidden; }
/* Two lines for the sentence in every view, so switching views moves nothing but the code. */
.source-panel.has-view-switch .source-summary-text { min-height: 28px; }
.source-editor-shell > .unified-comparison { flex: 1; min-width: 0; min-height: 0; height: 100%; }
.source-panel .unified-comparison .diff-scroll { border: 0; border-radius: 0; }
.source-panel .diff-line-text, .source-panel .diff-line-number { font-size: 0.8rem; }
.source-summary-token.diff-token-added { color: #15803d; font-weight: 700; }
.source-summary-token.diff-token-removed { color: #b91c1c; font-weight: 700; }