:root,html.theme-paper{
  --service-bg:#faf7f0;--service-panel:#fffdf8;--service-panel-soft:#f7f4ed;
  --service-panel-muted:#f3eee2;--service-text:#242018;--service-muted:#6d6455;
  --service-faint:#8f8676;--service-border:#d9d0bc;--service-rule:#eee7da;
  --service-accent:#33506e;--service-accent-soft:#e9eef3;
  --service-good:#1b7040;--service-good-bg:#e1f2e6;
  --service-warn:#7e640f;--service-warn-bg:#f6edcf;
  --service-bad:#9b322c;--service-bad-bg:#f7dfdc;
  --service-uncertain:#684895;--service-uncertain-bg:#eee7f8;
}
html.theme-console{
  --service-bg:#fdfdff;--service-panel:#fff;--service-panel-soft:#f7f8fc;
  --service-panel-muted:#eef1f8;--service-text:#24283a;--service-muted:#5d6478;
  --service-faint:#7a8298;--service-border:#c9d2ea;--service-rule:#e3e6f2;
  --service-accent:#365a9b;--service-accent-soft:#eaf0ff;
  --service-good:#1a7f4b;--service-good-bg:#e2f5ea;
  --service-warn:#7c6200;--service-warn-bg:#fff3c4;
  --service-bad:#b02a2a;--service-bad-bg:#fbe4e4;
  --service-uncertain:#5e4a94;--service-uncertain-bg:#eee9fb;
}
[hidden]{display:none!important}
#workbench{display:flex;flex-direction:column;width:100%;height:100vh;min-height:0}
#boot-panel{display:grid;place-items:center;width:100%;height:100vh;padding:24px;background:var(--service-bg)}
.boot-card{display:flex;flex-direction:column;align-items:center;gap:13px;color:var(--service-muted);
  font:13px/1.5 system-ui,sans-serif}
.boot-card p{margin:0}.boot-card button{padding:6px 14px;border:1px solid var(--service-border);
  border-radius:3px;background:var(--service-panel);color:var(--service-text);cursor:pointer}
.boot-spinner{width:24px;height:24px;border:2px solid var(--service-border);border-top-color:var(--service-accent);
  border-radius:50%;animation:service-spin .7s linear infinite}
@keyframes service-spin{to{transform:rotate(360deg)}}
#login-panel{display:grid;place-items:center;width:100%;height:100vh;padding:24px;background:var(--service-bg)}
.login-card{width:min(430px,100%);padding:34px 38px;border:1px solid var(--service-border);border-radius:5px;
  background:var(--service-panel);box-shadow:0 18px 60px -38px rgba(50,40,20,.55);color:var(--service-text)}
.login-card-head{display:flex;align-items:center;justify-content:space-between;gap:16px}
.login-kicker{font:600 12px/1.2 system-ui,sans-serif;letter-spacing:.14em;text-transform:uppercase;color:#6d88a3}
.login-card #login-lang-pick{padding:4px 7px;border:1px solid var(--service-border);border-radius:3px;
  background:var(--service-panel);color:var(--service-text);font:12px system-ui,sans-serif}
.login-card h1{margin:8px 0 6px;font:600 28px/1.25 Georgia,"Times New Roman","Songti SC",serif}
.login-card p{margin:0 0 22px;color:var(--service-muted)}
.login-card label{display:block;margin:14px 0 5px;font:600 13px/1.4 system-ui,sans-serif;color:var(--service-muted)}
.login-card input{display:block;width:100%;margin-top:6px;padding:10px 11px;border:1px solid var(--service-border);border-radius:3px;background:var(--service-panel);color:var(--service-text)}
.login-card input:focus{outline:2px solid var(--service-accent-soft);border-color:var(--service-accent)}
.login-card button{width:100%;margin-top:18px;padding:10px;border:1px solid var(--service-accent);border-radius:3px;background:var(--service-accent);color:#fff;cursor:pointer}
.login-card button:disabled{cursor:wait;opacity:.65}
#login-error{min-height:1.4em;margin:10px 0 0;color:var(--service-bad);font-size:13px}
.loaderr{padding:12px;color:var(--service-bad)}.loaderr button{margin-top:8px}
#campaign-pick,#theme-pick,#lang-pick{margin:0 2px;padding:4px 7px;border:1px solid #bbb;border-radius:3px;background:#fff;color:#333;font:12px system-ui,sans-serif;max-width:260px}
#project{max-width:32ch;overflow:hidden;text-overflow:ellipsis;white-space:nowrap;font:12px ui-monospace,monospace;opacity:.65}
html.theme-paper .brand-console{display:none}
html.theme-console .masthead{display:none}
.sw.machine{background:#8fa8bd}.sw.perfect{background:#27ae60}.sw.minor{background:#f1c40f}.sw.major{background:#e67e22}.sw.uncertain{background:#8e7cc3}
.latex-content{white-space:pre-wrap;overflow-wrap:anywhere;line-height:1.65}
.latex-list{white-space:normal;margin:12px 0;padding-left:2rem}.latex-list>li{margin:7px 0;padding-left:.25rem}
.latex-citation,.latex-reference{display:inline-block;padding:0 .32em;border-radius:3px;background:rgba(109,136,163,.12);color:#4f6680;font-size:.9em;white-space:normal}
.latex-environment{margin:10px 0;padding:9px 14px;border-left:3px solid #d9d0bc;background:rgba(255,255,255,.45);white-space:normal}
.latex-environment-label{margin-right:8px;font-variant:small-caps;font-weight:600;color:#5f574a}
.latex-diagram{margin:12px 0;padding:7px 10px;border:1px dashed #d9d0bc;border-radius:3px;white-space:normal}
.latex-diagram summary{cursor:pointer;color:#5f574a}.latex-diagram pre{margin-top:8px;white-space:pre-wrap}
.latex-render-error{outline:1px dashed #b4552d;outline-offset:4px}
#axiom-workbench{flex:1;min-width:0;overflow-y:auto;padding:24px 28px 48px;
  background:var(--service-bg);color:var(--service-text)}
#axiom-workbench>*{width:min(1180px,100%);margin-left:auto;margin-right:auto}
.axiom-workbench-head{display:flex;align-items:flex-start;justify-content:space-between;gap:20px}
.axiom-workbench-head h2{margin:0 0 4px;font:600 27px/1.3 Georgia,"Times New Roman","Songti SC",serif}
.axiom-workbench-head p{max-width:760px;margin:0;color:var(--service-muted);line-height:1.65}
.axiom-workbench-head button,.axiom-unit-nav button,.axiom-submit{padding:8px 12px;
  border:1px solid var(--service-border);border-radius:4px;background:var(--service-panel);
  color:var(--service-text);cursor:pointer}
.axiom-workbench-head button:hover,.axiom-unit-nav button:hover:not(:disabled){
  border-color:var(--service-accent);color:var(--service-accent);background:var(--service-accent-soft)}
.axiom-unit-nav button:disabled,.axiom-submit:disabled{cursor:not-allowed;opacity:.48}
.axiom-summary,.axiom-fixed,.axiom-unit{margin-top:16px;border:1px solid var(--service-border);
  border-radius:6px;background:var(--service-panel)}
.axiom-summary{padding:13px 16px}.axiom-summary>div{display:flex;justify-content:space-between;
  gap:14px;color:var(--service-muted);font-size:13px}.axiom-summary>div b{color:var(--service-text)}
.axiom-summary progress{display:block;width:100%;height:8px;margin-top:10px;accent-color:var(--service-accent)}
.axiom-fixed{padding:0;overflow:hidden}.axiom-fixed>summary{display:flex;justify-content:space-between;
  gap:16px;padding:13px 16px;cursor:pointer;color:var(--service-muted);font-size:13px}
.axiom-fixed>summary b{color:var(--service-text)}.axiom-root-list{padding:0 16px 8px;
  border-top:1px solid var(--service-rule)}
.axiom-root{display:flex;align-items:center;gap:9px;padding:6px 0;border-top:1px solid var(--service-rule)}
.axiom-root:first-child{border-top:0}.axiom-root code{flex:1;overflow-wrap:anywhere}
.axiom-root small{color:var(--service-muted)}
.axiom-decision{display:inline-block;padding:2px 8px;border-radius:12px;background:var(--service-panel-muted);
  font:600 11px/1.5 system-ui,sans-serif;white-space:nowrap}
.axiom-decision.allowed,.axiom-decision.allowed_system{background:var(--service-good-bg);color:var(--service-good)}
.axiom-decision.rejected,.axiom-decision.not_authorizable{background:var(--service-bad-bg);color:var(--service-bad)}
.axiom-decision.uncertain{background:var(--service-uncertain-bg);color:var(--service-uncertain)}
.axiom-decision.pending{background:var(--service-warn-bg);color:var(--service-warn)}
.axiom-conflict{padding:1px 7px;border:1px solid var(--service-bad);border-radius:9px;
  color:var(--service-bad);font-size:11px}
.axiom-note,.axiom-empty{margin:8px 16px 13px;color:var(--service-muted);font-size:12px}
.axiom-global-status{min-height:0;margin-top:10px;color:var(--service-good);font-size:13px}
.axiom-global-status:empty{display:none}
.axiom-unit{padding:20px}.axiom-unit.aligned{border-top:4px solid var(--service-accent)}
.axiom-unit.unmatched{border-top:4px solid #b8813e}
.axiom-unit-head{display:flex;align-items:flex-start;justify-content:space-between;gap:18px}
.axiom-position{margin:0 0 3px;color:var(--service-muted);font-size:12px}
.axiom-unit-head h3{margin:0;font-size:18px}.axiom-unit-status{display:flex;align-items:center;gap:8px}
.axiom-unit-nav{display:flex;justify-content:space-between;margin:15px 0}
.axiom-review-step{display:block;margin-top:14px;padding:16px;border:1px solid var(--service-rule);
  border-radius:5px;background:var(--service-panel-soft)}
.axiom-review-step h4,.axiom-review-step legend,.axiom-rationale-label>b{
  margin:0 0 5px;font-size:15px;font-weight:700;color:var(--service-text)}
.axiom-review-step>p,.axiom-rationale-label>span{display:block;margin:0 0 12px;
  color:var(--service-muted);font-size:13px;line-height:1.55}
.axiom-source-group{display:flex;flex-wrap:wrap;gap:7px;margin:10px 0 12px;padding:10px;
  border-left:3px solid var(--service-accent);background:var(--service-panel)}
.axiom-source-group b{flex-basis:100%;font-size:12px;color:var(--service-muted)}
.axiom-source-group code{overflow-wrap:anywhere}
.axiom-declaration{margin:9px 0;border:1px solid var(--service-border);border-radius:4px;
  overflow:hidden;background:var(--service-panel)}
.axiom-declaration>summary{display:flex;justify-content:space-between;gap:12px;padding:8px 10px;
  cursor:pointer;background:var(--service-panel-muted);font-size:11px}
.axiom-declaration>summary code{overflow-wrap:anywhere}.axiom-declaration>summary span{color:var(--service-muted)}
.axiom-source-warning{margin:8px 10px 0;color:var(--service-warn);font-size:12px}
.axiom-detail{max-height:430px;margin:0;padding:10px;background:var(--service-panel);
  color:var(--service-text);font:12px/1.55 ui-monospace,monospace;white-space:pre-wrap;overflow:auto}
.axiom-form{margin:0}.axiom-verdicts{min-width:0}
.axiom-verdicts>legend{padding:0 4px}.axiom-verdict-grid{display:grid;grid-template-columns:repeat(3,1fr);gap:10px}
.axiom-verdict-choice{display:flex;align-items:flex-start;gap:9px;padding:12px;border:1px solid var(--service-border);
  border-radius:5px;background:var(--service-panel);cursor:pointer}
.axiom-verdict-choice:has(input:checked){border-color:var(--service-accent);
  box-shadow:0 0 0 2px var(--service-accent-soft)}
.axiom-verdict-choice input{margin-top:3px;accent-color:var(--service-accent)}
.axiom-verdict-choice span{display:flex;flex-direction:column;gap:3px}.axiom-verdict-choice small{
  color:var(--service-muted);font-size:12px;line-height:1.45}
.axiom-context-help{padding:9px 11px;border-left:3px solid var(--service-accent);
  background:var(--service-panel);color:var(--service-text)!important}
.axiom-basis-group{margin-top:10px;border:1px solid var(--service-border);border-radius:4px;
  background:var(--service-panel);overflow:hidden}
.axiom-basis-group>summary{display:flex;justify-content:space-between;gap:12px;padding:10px 12px;
  cursor:pointer;font-weight:700;font-size:13px;background:var(--service-panel-muted)}
.axiom-basis-kind-help{margin:10px 12px!important}
.axiom-basis-option{padding:10px 12px;border-top:1px solid var(--service-rule)}
.axiom-basis-option>label{display:flex;align-items:flex-start;gap:9px;cursor:pointer}
.axiom-basis-option input{margin-top:3px;accent-color:var(--service-accent)}
.axiom-basis-option label>span{min-width:0}.axiom-basis-option code{display:inline-block;overflow-wrap:anywhere}
.axiom-basis-option small{margin-left:8px;color:var(--service-faint)}
.axiom-basis-text{display:block;margin-top:4px;color:var(--service-muted);font-size:12px;line-height:1.5}
.axiom-original-text{margin:7px 0 0 24px;color:var(--service-faint);font-size:11px}
.axiom-original-text summary{cursor:pointer}
.axiom-rationale-label textarea{display:block;width:100%;min-height:96px;margin-top:8px;padding:10px 11px;
  border:1px solid var(--service-border);border-radius:4px;background:var(--service-panel);
  color:var(--service-text);font:13px/1.55 system-ui,sans-serif;resize:vertical}
.axiom-rationale-label textarea:focus{outline:2px solid var(--service-accent-soft);
  border-color:var(--service-accent)}
.axiom-actions{display:flex;align-items:center;gap:12px;margin-top:14px}
.axiom-submit{border-color:var(--service-accent);background:var(--service-accent);color:#fff;font-weight:600}
.axiom-submit-status{color:var(--service-bad);font-size:13px}
.axiom-history{margin-top:15px;padding-top:12px;border-top:1px dashed var(--service-border);
  color:var(--service-muted);font-size:12px}
.axiom-history>summary{cursor:pointer;font-weight:700}.axiom-history-row{display:flex;flex-wrap:wrap;
  align-items:center;gap:7px;margin-top:9px;padding:9px;background:var(--service-panel-soft);border-radius:4px}
.axiom-history-row p{flex-basis:100%;margin:2px 0 0}.axiom-history-row.stale{opacity:.66}
.axiom-history-mark{font-weight:700;color:var(--service-accent)}

@media (max-width:900px){
  #topbar{flex-wrap:wrap;gap:8px 12px;padding:8px 12px}
  #topbar .spacer{display:none}.masthead{flex:1 1 190px}.brand-sub{display:none}
  #stats{flex:1 1 110px}#campaign-pick{max-width:150px}#project{display:none}
  #axiom-workbench{padding:18px 16px 36px}.login-card{padding:26px 24px}
  .axiom-verdict-grid{grid-template-columns:1fr}.axiom-root{align-items:flex-start;flex-wrap:wrap}
  .axiom-root code{flex-basis:100%}.axiom-fixed>summary{flex-direction:column;gap:3px}
}
@media (max-width:560px){
  #topbar{align-items:center}.masthead{flex-basis:100%}#stats{order:2}
  #lang-pick,#theme-pick{max-width:42vw}.axiom-workbench-head{flex-direction:column}
  .axiom-unit{padding:14px}.axiom-unit-head{flex-direction:column}.axiom-unit-status{align-self:stretch}
  .axiom-review-step{padding:13px}.axiom-actions{align-items:stretch;flex-direction:column}
  .axiom-submit-status{min-height:1.4em}
}