/* Compact proportions, enlarged uniformly by --ui-scale in style.css. */
:root {
  --font-reading: 13px;
  --font-control: 12px;
  --font-caption: 12px;
  --font-minimum: 12px;
  --font-chat: 14px;
  --canvas: #f5f7fa;
  --panel: #ffffff;
  --panel-heading: #eef3f8;
  --raised: #ffffff;
  --hairline: #e2e8ef;
  --border-strong: #b5bfcc;
  --text-muted: #526174;
  --text-faint: #626d7c;
  --bg: var(--canvas);
  --surface: var(--panel);
  --border: var(--hairline);
  --text: #182535;
  --text-dim: var(--text-muted);
  --radius: 6px;
  --shadow: none;
  --shadow-lg: 0 12px 40px rgb(18 37 60 / 16%);
}
body { font-size: var(--font-reading); line-height: 1.45; height: calc(100dvh / var(--ui-scale)); }
button, input, select, textarea { font: inherit; }
.btn, .btn-small, .btn-explain, .concl-filter, .facts-filter, .kb-tab,
.af-scope-btn, .modal-footer button { font-size: var(--font-control); line-height: 1.35; min-height: 26px; }
.btn, .btn-small { padding: .25rem .55rem; }
.btn-tertiary { background: transparent; border-color: transparent; color: var(--accent); }
.scenario-about-toggle { display: inline-flex; align-items: center; gap: .28rem; }
.scenario-about-toggle-icon { display: inline-block; font-size: 13px; line-height: 1; transition: transform .15s ease; }
.scenario-about-toggle[aria-expanded="true"] { background: var(--accent-light); border-color: #c3d2e5; color: #244f86; }
.scenario-about-toggle[aria-expanded="true"] .scenario-about-toggle-icon { transform: rotate(180deg); }
@media (prefers-reduced-motion: reduce) { .scenario-about-toggle-icon { transition: none; } }
.btn-explain { background: #f4f7fc; color: var(--accent); border: 1px solid #c3d2e5; border-radius: 5px; padding: .2rem .5rem; font-weight: 600; }
.btn-explain:hover { background: var(--accent-light); border-color: #91aacb; color: #244a88; }
.btn-explain:disabled { background: var(--bg); color: var(--text-dim); border-color: var(--border); }
.topbar { gap: .45rem .8rem; padding: .4rem .9rem; position: relative; z-index: 12; }
.topbar-left { flex: 1 1 23rem; gap: .55rem; min-width: 0; }
.topbar-right { flex: 0 1 auto; gap: .4rem; overflow: visible; max-width: 100%; }
.app-title { font-size: 16px; letter-spacing: -.02em; }
.app-lab { font-size: 12px; letter-spacing: .015em; margin-top: .1rem; }
.scenario-switcher { display: flex; align-items: center; justify-content: space-between; gap: .55rem; width: 100%; min-height: 32px; padding: .25rem .45rem; border: 1px solid transparent; background: transparent; color: var(--text); border-radius: 6px; cursor: pointer; font-weight: 600; }
.scenario-switcher:hover, .scenario-switcher[aria-expanded="true"] { background: var(--bg); border-color: var(--border); }
.topbar-left > .shell-popup-anchor { min-width: 6rem; flex: 1; max-width: 25rem; }
.scenario-name { color: var(--text); font-size: 14px; text-align: left; }
.context-indicator, .normal-user-view-indicator { font-size: 12px; font-weight: 500; padding: .1rem .45rem; }
.scenario-state-actions { display: flex; align-items: center; flex-wrap: wrap; gap: .25rem; max-width: 100%; }
.scenario-state-actions:has(> :not([hidden])) { margin-left: auto; }
.scenario-state-actions:not(:has(> :not([hidden]))) { display: none; }
.modified-indicator { font-size: 12px; background: #f5effb; border-color: #decbea; color: #613888; }
.access-chip { max-width: 23rem; font-size: var(--font-control); }
.admin-view-toggle { display: inline-flex; align-items: center; gap: .4rem; flex-shrink: 0; min-height: 28px; padding: .2rem .4rem; border: 1px solid transparent; border-radius: 5px; background: transparent; color: var(--text-dim); font-size: var(--font-control); white-space: nowrap; cursor: pointer; }
.admin-view-toggle:hover { background: var(--bg); }
.admin-view-toggle-track { display: block; width: 27px; height: 16px; padding: 2px; border-radius: 999px; background: #7b8797; flex-shrink: 0; }
.admin-view-toggle-thumb { display: block; width: 12px; height: 12px; border-radius: 50%; background: #fff; transition: transform .15s; }
.admin-view-toggle[aria-checked="true"] { color: #244f86; }
.admin-view-toggle[aria-checked="true"] .admin-view-toggle-track { background: var(--accent); }
.admin-view-toggle[aria-checked="true"] .admin-view-toggle-thumb { transform: translateX(11px); }
.shell-popup-anchor { position: relative; min-width: 0; }
.save-split { display: inline-flex; }
.save-split > .btn:first-child { border-radius: 6px 0 0 6px; }
.save-split > .btn:nth-child(2) { border-radius: 0 6px 6px 0; border-left: 0; padding-inline: .5rem; min-width: 26px; justify-content: center; }
.shell-popover { position: absolute; top: calc(100% + .4rem); right: 0; z-index: 50; width: max-content; max-width: min(38rem, calc(100vw / var(--ui-scale) - 2rem)); max-height: min(calc(75dvh / var(--ui-scale)), 42rem); overflow: auto; padding: .4rem; border: 1px solid var(--border-strong); border-radius: 10px; background: var(--raised); box-shadow: var(--shadow-lg); }
.scenario-popover { left: 0; right: auto; width: min(34rem, calc(100vw / var(--ui-scale) - 2rem)); }
.shell-menu { min-width: 15rem; }
.shell-menu > button, .shell-menu > a { display: block; width: 100%; min-height: 34px; padding: .45rem .65rem; text-align: left; text-decoration: none; border: 0; border-radius: 5px; background: transparent; color: var(--text); font-size: 14px; cursor: pointer; }
.shell-menu > button:hover, .shell-menu > a:hover { background: var(--accent-light); }
.shell-menu > button:disabled { color: var(--text-dim); cursor: default; opacity: .65; }
.shell-menu > [aria-checked="true"] { background: var(--accent-light); color: var(--accent); font-weight: 600; }
.shell-menu > [aria-checked="true"]::before { content: "✓ "; }
.shell-menu-note { padding: .55rem .65rem; color: var(--text-dim); font-size: 13px; border-bottom: 1px solid var(--border); margin-bottom: .3rem; max-width: 25rem; overflow-wrap: anywhere; }
.scenario-option-heading { font-size: 13px; color: var(--text-dim); padding: .5rem .6rem .25rem; font-weight: 600; }
.scenario-option { border-radius: 6px; padding: .45rem .6rem; cursor: pointer; display: flex; flex-direction: column; gap: .2rem; overflow-wrap: anywhere; }
.scenario-option:hover { background: var(--bg); }
.scenario-option[aria-selected="true"] { background: var(--accent-light); }
.scenario-option small { font-size: 13px; color: var(--text-dim); }
.scenario-option-summary { display: -webkit-box; -webkit-line-clamp: 2; -webkit-box-orient: vertical; overflow: hidden; }
.scenario-menu-actions { display: grid; grid-template-columns: 1fr 1fr; gap: .25rem; padding-top: .55rem; margin-top: .4rem; border-top: 1px solid var(--border); }
.scenario-menu-actions .btn { text-align: left; justify-content: flex-start; background: transparent; border: 0; white-space: normal; }
.scenario-about { padding: .45rem 1rem .5rem; background: #fafbfd; border-bottom: 1px solid var(--border); flex-shrink: 0; max-height: calc(18dvh / var(--ui-scale)); overflow: auto; }
.scenario-about p { color: #46566a; font-size: var(--font-reading); line-height: 1.5; max-width: 110rem; white-space: pre-wrap; overflow-wrap: anywhere; }
.global-status { position: relative; top: auto; right: auto; width: 100%; flex-shrink: 0; z-index: 11; border-radius: 0; border-width: 0 0 1px; box-shadow: none; padding: .45rem 1rem; font-size: 14px; display: flex; align-items: center; gap: .65rem; overflow-wrap: anywhere; }
.global-status > :first-child { flex: 1; min-width: 0; }
.main-area { gap: 0; min-height: 0; }
.v-resize-handle, .h-resize-handle { position: relative; background: #edf1f6; }
.v-resize-handle::after, .h-resize-handle::after { content: ''; position: absolute; border-radius: 2px; background: #aebaca; }
.v-resize-handle::after { width: 1px; height: 28px; top: calc(50% - 14px); left: 2px; }
.h-resize-handle::after { height: 1px; width: 28px; left: calc(50% - 14px); top: 2px; }
.v-resize-handle:hover, .h-resize-handle:hover, .v-resize-handle.dragging, .h-resize-handle.dragging,
.v-resize-handle:focus-visible, .h-resize-handle:focus-visible { background: #b5c8e1; }
.left-panel { width: 72%; }
.right-panel { min-width: 260px; }
.top-section { height: 42%; box-shadow: none; }
.conclusions-panel { flex: 1.1; container-type: inline-size; }
.scenario-suggestions { display: grid; gap: .5rem; margin-top: 1rem; }
.scenario-suggestions .btn { text-align: left; white-space: normal; font-size: 14px; }
.argument-view-nav { display: flex; align-items: center; gap: .45rem; flex-wrap: wrap; padding-bottom: .7rem; border-bottom: 1px solid var(--border); margin-bottom: .8rem; }
.argument-view-nav [aria-current="page"] { color: var(--accent); background: var(--accent-light); opacity: 1; border-color: var(--accent); }
.game-picker-premises { color: var(--text-dim); font-size: 13px; line-height: 1.5; }
.game-picker-meta { font-size: 13px; }
.af-edge-symbol { width: 30px; text-align: center; font-size: 24px; color: #4b5a6c; }
.af-node { cursor: pointer; }
.af-node:focus-visible { outline: none; }
.af-node:focus-visible rect { stroke-width: 3; }
.af-node-undercut rect { stroke-dasharray: 5 3; }
.edit-current-rule { background: var(--raised); padding: .8rem; border: 1px solid var(--border); border-radius: 6px; margin-bottom: 1rem; overflow-wrap: anywhere; }
.edit-current-rule p { margin: .35rem 0; }
.status-dismiss { margin-left: auto; flex: 0 0 auto; border: 0; background: transparent; color: inherit; min-width: 32px; min-height: 32px; cursor: pointer; font-size: 20px; }
summary:focus-visible, .scenario-about:focus-visible { outline: 2px solid var(--accent); outline-offset: 3px; }
.game-node:focus-visible { outline: 2px solid var(--accent); outline-offset: 3px; }
.facts-panel { flex: .9; container-type: inline-size; }
.rules-section { container-type: inline-size; }
.panel-header { display: flex; align-items: center; justify-content: space-between; font-size: 14px; text-transform: none; letter-spacing: 0; font-weight: 650; padding: .35rem .7rem; min-height: 36px; color: #354d69; background: var(--panel-heading); border-bottom-color: #d6e0eb; gap: .3rem .45rem; }
.panel-count { color: var(--text-dim); font-size: var(--font-caption); font-weight: 400; white-space: nowrap; margin-left: .15rem; }
.conclusions-header-row { flex-wrap: wrap; }
.conclusions-title { flex: 1 1 auto; }
.formal-views { display: flex; flex-wrap: wrap; gap: .25rem; }
.formal-views .btn { font-size: var(--font-control); padding: .15rem .4rem; background: #ffffffb3; }
.formal-views .btn:hover { background: #fff; }
.concl-filters { flex: 1 0 100%; flex-wrap: wrap; gap: .1rem; }
.concl-filter, .facts-filter, .kb-tab { font-size: var(--font-control); padding: .2rem .4rem; min-height: 26px; }
.concl-filter.active, .facts-filter.active, .kb-tab.active { background: #e0eaf7; color: #244f86; }
.facts-filter-bar, .rules-toolbar { flex-wrap: wrap; gap: 6px; padding: .25rem .7rem; }
.facts-header-row { justify-content: space-between; }
.state-filter { display: inline-flex; align-items: center; gap: .3rem; color: var(--text-dim); font-size: var(--font-control); min-height: 28px; cursor: pointer; }
.state-filter input { width: 14px; height: 14px; accent-color: var(--accent); }
.kb-search { flex: 0 1 19rem; min-width: 6rem; }
.kb-search input { font-size: var(--font-control); min-height: 27px; width: 100%; }
.conclusions-list, .facts-list, .kb-content { padding: .2rem .65rem; gap: 0; }
.conclusion-card, .fact-card, .rule-card { border: 0; border-bottom: 1px solid var(--hairline); border-radius: 0; box-shadow: none; background: transparent; padding: .4rem .4rem; margin: 0; transition: background .12s; }
.conclusion-card:hover, .fact-card:hover, .rule-card:hover { border-color: var(--hairline); background: #f7f9fc; box-shadow: none; }
.conclusion-card { display: grid; grid-template-columns: minmax(0, 1fr) auto; gap: .15rem .5rem; border-left: 3px solid #c4cad3; }
.conclusion-card.status-accepted { border-left-color: #3a7ad0; }
.conclusion-card.status-rejected { border-left-color: #e08a3a; }
.conclusion-card.status-undecided { border-left-color: #c0a12a; }
.conclusion-card.status-absent { border-left-style: dashed; }
.conclusion-label { grid-column: 1 / -1; font-size: var(--font-reading); line-height: 1.45; padding: 0; min-width: 0; overflow-wrap: anywhere; }
.conclusion-meta { display: flex; align-items: center; gap: .4rem; flex-wrap: wrap; min-width: 0; }
.conclusion-status-bar { width: auto; flex: 0 0 auto; min-height: 0; padding: .08rem .35rem; border: 0; border-radius: 4px; font-size: 12px; line-height: 1.35; text-transform: none; font-weight: 500; white-space: nowrap; }
.conclusion-status-bar.status-accepted { background: #eaf2fd; color: #215491; }
.conclusion-status-bar.status-rejected { background: #fff0df; color: #85480d; }
.conclusion-status-bar.status-undecided { background: #fff6cf; color: #6b5604; }
.conclusion-status-bar.status-absent { background: #edf0f4; color: #515c6b; }
.conclusion-actions { display: flex; flex-wrap: wrap; justify-content: flex-end; gap: .25rem; align-self: center; margin: 0; }
.conclusion-meta .inline-id { overflow-wrap: anywhere; white-space: normal; text-align: left; }
.inline-id, .kb-badge, .label-change-note, .rule-id, .derivation-note { font-size: 12px; }
.inline-id { color: var(--text-dim); font-weight: 500; margin-left: .15rem; text-decoration: underline dotted #a6b4c5; text-underline-offset: .2em; }
.inline-id:hover { color: var(--accent); text-decoration-style: solid; }
.element-inspect-link { display: inline-flex; align-items: center; min-height: 24px; padding-inline: .15rem; }
.badge, .rule-kind, .fact-tag, .attack-kind, .game-node-status { font-size: 12px; }
.modal-content { border-radius: 10px; }
.derivation-element, .derivation-link, #derivation-argument-select { font-size: var(--font-reading); }
.game-node-topbar, .game-move-type, .game-move-label { font-size: var(--font-reading); }
.game-support-label, .game-support-rules { font-size: var(--font-reading); line-height: 1.5; }
.game-support-facts, .game-node-res-reason, .game-node-detail { font-size: var(--font-caption); }
.label-change-note { margin-top: .15rem; color: #653888; }
.rule-text, .fact-text, .pref-rule { font-size: var(--font-reading); line-height: 1.45; }
.rule-card { display: grid; grid-template-columns: minmax(0, 1fr) auto; gap: .35rem .8rem; align-items: center; }
.rule-body { min-width: 0; padding: 0; }
.rule-actions { width: auto; display: grid; grid-template-columns: 24px 24px 5.2rem; align-items: center; gap: .25rem; padding: 0; }
.rule-meta { display: flex; gap: .4rem; align-items: center; flex-wrap: wrap; min-width: 0; }
.fact-card { display: grid; grid-template-columns: minmax(0, 1fr) auto; align-items: center; gap: .35rem; }
.fact-body { min-width: 0; }
.fact-meta { display: flex; gap: .4rem; flex-wrap: wrap; align-items: center; margin-top: 0; }
.fact-actions { display: flex; flex-wrap: wrap; justify-content: flex-end; align-items: center; gap: .3rem; }
.active-control { display: inline-flex; align-items: center; gap: .3rem; white-space: nowrap; min-height: 26px; cursor: pointer; font-size: var(--font-control); color: var(--text-dim); }
.active-control input { width: 14px; height: 14px; accent-color: var(--accent); }
.rule-info { display: inline-flex; align-items: center; justify-content: center; flex: 0 0 auto; min-width: 24px; min-height: 24px; width: 24px; height: 24px; padding: 3px; font-size: 13px; background: transparent; border: 1px solid transparent; border-radius: 5px; color: #60758e; }
.rule-info:hover { color: var(--accent); background: var(--accent-light); border-color: #c3d2e5; }
.ai-context-icon { display: block; width: 16px; height: 16px; flex: 0 0 auto; }
.chat-empty .ai-context-icon { display: inline-block; vertical-align: -.2em; color: #60758e; }
.kb-badge { background: transparent; color: var(--text-dim); text-transform: none; border: 0; letter-spacing: 0; padding: 0; font-weight: 400; }
.kb-group-title { color: var(--text-dim); font-size: var(--font-caption); padding: .5rem .4rem .2rem; }
.kb-divergent { border-left: 3px solid #8557a5; padding-left: .6rem; background: #fbf8fe; }
.suspended { background: #f5f6f8; color: #5d6876; border-bottom-style: dashed; }
.kw, .rule-text .kw, .game-node-rule .kw, .game-support-rules .kw, .game-opposing-list .kw, .pref-rule .kw { font-weight: 600; font-size: inherit; text-transform: none; font-variant: normal; color: #4b5a6c; }
.rule-connective { text-decoration: underline dotted; text-underline-offset: .2em; }
.panel-options, .row-options { flex-shrink: 0; }
.panel-options > summary, .row-options > summary { list-style: none; display: flex; align-items: center; justify-content: center; min-width: 24px; min-height: 24px; border: 1px solid transparent; border-radius: 5px; cursor: pointer; font-size: 16px; font-weight: 500; color: var(--text-dim); }
.panel-options > summary::-webkit-details-marker, .row-options > summary::-webkit-details-marker { display: none; }
.panel-options > summary:hover, .row-options > summary:hover { background: var(--accent-light); }
.add-menu > summary { font-size: var(--font-control); padding: .15rem .4rem; border-color: var(--border); }
.panel-options > div, .row-options > div { position: fixed; z-index: 60; display: flex; flex-direction: column; align-items: stretch; min-width: 12rem; max-width: calc(100vw / var(--ui-scale) - 1rem); padding: .5rem; gap: .25rem; border: 1px solid var(--border-strong); border-radius: 10px; background: var(--raised); box-shadow: var(--shadow-lg); font-size: 14px; }
.panel-options > div label { min-height: 30px; display: flex; align-items: center; gap: .4rem; }
.panel-options .btn, .row-options .btn { text-align: left; justify-content: flex-start; border: 0; background: transparent; }
.modal-content { border-radius: 10px; }
.modal-title { font-size: 18px; line-height: 1.35; }
.modal-subtitle, .field-hint, .scenario-hint, .project-card-meta, .credential-card-meta,
.optional-label, .game-picker-meta, .game-node-detail, .game-node-res-reason { font-size: 13px; }
.game-picker-rule, .game-node-rule, .game-node-claim { font-size: var(--font-reading); line-height: 1.5; }
.game-picker-card { min-height: 44px; }
.game-picker-meta { display: block; margin-top: .25rem; }
.game-role-legend { padding: .6rem .9rem; color: var(--text-dim); font-size: 13px; border-bottom: 1px solid var(--border); }
.game-role-swatch { display: inline-block; width: 10px; height: 10px; border-radius: 2px; margin-left: .3rem; }
.game-supports-toggle, .game-topbar-caret { font-size: var(--font-control); min-height: 24px; line-height: 1.3; }
.game-topbar-caret { background: rgb(0 0 0 / 15%); }
.game-topbar-caret:hover { background: rgb(0 0 0 / 25%); }
.game-move-type.game-bar-cycle { color: #6b5604; background: #fff6cf; }
.game-rationale strong { color: #85480d; }
.game-picker-card:hover, .game-move-card:hover, .pref-conflict-card { box-shadow: none; }
.game-picker-card:hover, .game-move-card:hover { background: #f7f9fc; }
.game-supports-arrow, .game-node-id { font-size: var(--font-minimum); }
.game-attack-info, .game-moves-header, .game-node-dim, .pref-note, .pref-vs,
.pref-side-label, .edit-hint, .edit-prop-heading, .edit-prop-meta, .edit-prop-aspic-label,
.edit-issues-heading, .save-hint, .suspend-impact-section-label, .suspend-impact-transition { font-size: var(--font-caption); }
.game-picker-header, .game-moves-empty, .game-opposing-disclosure, .pref-conflict-question,
.edit-prop-body, .edit-prop-promote-ref, .edit-issue, #edit-instruction,
.suspend-impact-summary, .suspend-impact-item, .suspend-impact-empty { font-size: var(--font-reading); line-height: 1.5; }
.pref-option { font-size: var(--font-control); min-height: 30px; }
.edit-hint kbd { font-size: var(--font-minimum); }
.aspic-pre, .edit-prop-aspic { font-size: var(--font-caption); }
.aspic-comment { color: var(--text-faint); }
.explanation-navigation { display: flex; flex-wrap: wrap; align-items: center; gap: .4rem; padding: .5rem 1rem; border-bottom: 1px solid var(--border); }
.explanation-navigation .active { background: var(--accent-light); color: var(--accent); }
.af-node { cursor: pointer; outline: none; }
.af-node:hover rect, .af-node:focus rect { stroke: #102d4c; stroke-width: 3; }
.af-node:focus-visible { outline: none; }
.af-toolbar, .af-legend { flex-wrap: wrap; }
.af-scope-control { gap: 6px; }
.af-legend, .af-legend .af-legend-note, .af-control-label, .af-zoom-readout { font-size: 13px; }
.af-legend .af-ucnode-sample { font-size: var(--font-minimum); }
.af-scope-btn, .af-zoom-controls .btn { font-size: var(--font-control); }
.af-isolated-toggle { display: inline-flex; align-items: center; gap: .4rem; font-size: var(--font-control); }
@container (min-width: 460px) {
  .conclusion-label { grid-column: 1; }
  .conclusion-actions { grid-column: 2; grid-row: 1 / span 2; }
}
@container (max-width: 640px) {
  .rule-card { grid-template-columns: minmax(0, 1fr); gap: .1rem; }
  .rule-actions { display: flex; justify-content: flex-end; flex-wrap: wrap; gap: .35rem; }
}
@container (max-width: 350px) {
  .fact-card:has(.active-control) { grid-template-columns: minmax(0, 1fr); gap: .1rem; }
}
@media (max-width: 1265px) {
  .topbar-left { flex-basis: calc(100% - 1rem); }
  .topbar-right { margin-left: auto; }
  .scenario-state-actions { margin-left: 0; }
  .left-panel { width: 69%; }
  .right-panel { min-width: 270px; }
}
@media (max-width: 858px) {
  :root { --font-reading: 14px; --font-control: 13px; }
  body { height: auto; min-height: calc(100dvh / var(--ui-scale)); overflow: auto; }
  .topbar { padding: .5rem .7rem; gap: .4rem; }
  .topbar-left { flex-basis: 100%; flex-wrap: wrap; gap: .4rem; }
  .topbar-left > .shell-popup-anchor { flex: 1 1 10rem; max-width: none; }
  .topbar-right { display: flex; flex-wrap: wrap; width: 100%; margin: 0; justify-content: flex-end; }
  .topbar-right > .shell-popup-anchor:has(#ai-access-btn) { flex: 1; }
  .access-chip { width: 100%; max-width: none; padding-inline: .4rem; font-size: 12px; white-space: normal; overflow-wrap: anywhere; text-align: left; }
  .scenario-state-actions { flex-basis: 100%; margin: 0; }
  .scenario-switcher { padding-inline: .3rem; }
  .scenario-name { font-size: 14px; }
  .context-indicator { font-size: 12px; }
  .scenario-about { max-height: calc(24dvh / var(--ui-scale)); padding: .5rem .8rem; }
  .scenario-popover { position: fixed; left: .5rem; right: .5rem; top: 4rem; width: auto; max-width: none; }
  .topbar-right .shell-popover { position: fixed; left: .5rem; right: .5rem; top: 7rem; width: auto; max-width: none; }
  .global-status { flex-wrap: wrap; }
  .main-area { overflow: visible; }
  .left-panel, .right-panel { width: 100% !important; min-width: 0; }
  .top-section { height: auto !important; min-height: 0; }
  .conclusions-panel, .facts-panel { width: 100% !important; flex: none !important; }
  .conclusions-list, .facts-list, .kb-content { max-height: calc(55dvh / var(--ui-scale)); }
  .conclusion-card { padding: .45rem .35rem; }
  .conclusion-label { grid-column: 1 / -1; }
  .conclusion-meta { grid-column: 1; }
  .conclusion-actions { grid-column: 2; grid-row: auto; justify-content: flex-end; }
  .formal-views { flex-basis: auto; }
  .panel-header { font-size: 15px; }
  .btn, .btn-small, .btn-explain, .concl-filter, .facts-filter, .kb-tab, .admin-view-toggle { min-height: 30px; }
  .rule-info, .panel-options > summary, .row-options > summary { min-width: 28px; min-height: 28px; }
  .admin-view-toggle { margin-right: auto; }
}
@media (max-width: 528px) {
  .topbar-right { display: grid; grid-template-columns: minmax(0, 1fr) auto auto; gap: .35rem; }
  .admin-view-toggle { grid-column: 1 / -1; justify-self: end; margin: 0; }
}
@media (prefers-reduced-motion: reduce) {
  .admin-view-toggle-thumb { transition: none; }
}