/* Allen's Math Web: a working desk.  Outline rail, source and paper, details sheet on the right. */
:root{
  --bg:#eef1f3; --panel:#ffffff; --paper:#fdfdfb; --ink:#17222c; --muted:#5a6875; --line:#d3dae0;
  --accent:#1d5d8c; --accent-soft:#e3eef6; --def:#9a2640; --code-bg:#f6f8f9; --note:#fff4d6; --note-ink:#6b4e00;
  --human:#2c7a4b; --ai:#a8740a; --none:#7d8994; --lean:#5b4bb5; --scrim:rgba(20,30,40,.45); --dg:none;
  --warn-bg:#fde8e8; --warn-ink:#7a1f1f;
  --ui:"IBM Plex Sans",system-ui,sans-serif; --read:"STIX Two Text",Georgia,"Times New Roman",serif; --mono:"IBM Plex Mono",ui-monospace,Menlo,monospace;
}
@media (prefers-color-scheme: dark){ :root:not([data-theme="light"]){
  --bg:#11171c; --panel:#1a222a; --paper:#1d262e; --ink:#e4e9ed; --muted:#9aa7b3; --line:#2f3b46;
  --accent:#7ab8e6; --accent-soft:#1f3445; --def:#e58aa0; --code-bg:#151c22; --note:#3a3216; --note-ink:#f0d98a;
  --human:#63c08a; --ai:#e0b04a; --none:#8a96a1; --lean:#a99cf0; --scrim:rgba(0,0,0,.6); --dg:invert(.88) hue-rotate(180deg);
  --warn-bg:#3a1c1c; --warn-ink:#f0b0b0; color-scheme:dark } }
html{height:100%}
body{min-height:100%}
body.reading,body.editing{height:100%}
*{box-sizing:border-box}
[hidden]{display:none!important}
body{margin:0;background:var(--bg);color:var(--ink);font-family:var(--ui);font-size:14px;display:flex;flex-direction:column;padding:10px 16px 12px;gap:8px;position:relative}
a{color:var(--accent)}
button,select,input,textarea{font:inherit;color:inherit}
button,.button{background:var(--panel);border:1px solid var(--line);border-radius:6px;padding:5px 10px;cursor:pointer;text-decoration:none;color:var(--ink);display:inline-block;line-height:1.3}
button:hover,.button:hover{border-color:var(--accent)}
select,input[type=text],input[type=search],input[type=password],input[type=email],input[type=file],textarea{background:var(--panel);border:1px solid var(--line);border-radius:6px;padding:4px 8px;max-width:100%}
textarea{width:100%;font-family:var(--mono);font-size:12.5px;line-height:1.5}
textarea.mono,.mono{font-family:var(--mono)}
button:focus-visible,textarea:focus-visible,select:focus-visible,input:focus-visible,a:focus-visible{outline:2px solid var(--accent);outline-offset:1px}
.primary{background:var(--accent);border-color:var(--accent);color:var(--panel);font-weight:500}
.linkb{border:0;background:none;padding:0;color:var(--accent);text-align:left;cursor:pointer}
.small{font-size:12px}.mt{margin-top:6px}.mt2{margin-top:20px}
.muted{color:var(--muted)}.ok{color:var(--human)}
.inline{display:inline}.grow{flex:1}
.mini{color:var(--muted);font-size:12.5px;display:inline-flex;align-items:center;gap:6px}
header.top{display:flex;flex-wrap:wrap;align-items:center;gap:6px 12px}
.brand{font-weight:600;text-decoration:none;color:var(--ink);font-size:15px}
.topnav a{color:var(--muted);text-decoration:none;margin-right:8px;padding:3px 6px;border-radius:5px}
.topnav a.on,.topnav a:hover{background:var(--accent-soft);color:var(--ink)}
.searchf input{width:160px}
.seg{display:inline-flex;border:1px solid var(--line);border-radius:7px;overflow:hidden;background:var(--panel);vertical-align:middle}
.seg button{border:0;border-radius:0;background:transparent;padding:5px 11px}
.seg button[aria-pressed="true"]{background:var(--accent);color:var(--panel);font-weight:500}
.seg1{font-size:12px;padding:3px 8px}.seg1.on{background:var(--note);color:var(--note-ink)}
.banner{font-size:12.5px;color:var(--note-ink);background:var(--note);border-radius:6px;padding:5px 10px}
.banner2{font-size:12.5px;color:var(--note-ink);background:var(--note);padding:6px 10px;border-bottom:1px solid var(--line)}
.messages .msg{background:var(--accent-soft);border-radius:6px;padding:6px 10px;margin-bottom:4px}
.messages .msg.error{background:var(--warn-bg);color:var(--warn-ink)}
.warn{background:var(--warn-bg);color:var(--warn-ink);border-radius:6px;padding:8px 10px;margin:8px 0}
.note{background:var(--note);color:var(--note-ink);border-radius:6px;padding:8px 10px;margin:8px 0}
.note.big{font-size:15px}
main{flex:1;min-height:0;position:relative}
body:not(.reading):not(.editing) main{min-height:auto}
main.work{display:flex;flex-direction:column}
.page{background:var(--panel);border:1px solid var(--line);border-radius:8px;padding:22px 26px 40px}
.page.narrow{max-width:860px;margin:0 auto;width:100%}
.page h1{font-size:24px;margin:0 0 12px;font-family:var(--read);font-weight:600}
.page h2{font-size:13px;letter-spacing:.05em;text-transform:uppercase;color:var(--muted);font-weight:500;margin:22px 0 8px}
.page h3{font-size:15px;margin:16px 0 6px}
.rowhead{display:flex;align-items:center;gap:12px;justify-content:space-between}
.projlist{list-style:none;padding:0;margin:0;display:grid;gap:8px}
.projlist li{padding:8px 10px;border:1px solid var(--line);border-radius:6px}
.projlist a{text-decoration:none;color:var(--ink);font-size:16px}
.form{display:grid;gap:10px;max-width:720px}
.form label{display:block;line-height:1.5}
.form label > input[type=text],.form label > input[type=password],.form label > input[type=email],.form label > input[type=file],.form label > select,.form label > textarea{display:block;width:100%;margin-top:4px}
.form label.chk,label.chk{display:flex;gap:6px;align-items:center}
.form input[type=text],.form input[type=password],.form input[type=email]{width:100%}
.inline-form{display:flex;gap:6px;flex-wrap:wrap;align-items:center;margin:6px 0}
.tbl{border-collapse:collapse;width:100%;font-size:13px;margin:6px 0}
.tbl th,.tbl td{border-bottom:1px solid var(--line);padding:5px 8px;text-align:left;vertical-align:top}
.tbl th{color:var(--muted);font-weight:500}
ul.plain{list-style:none;padding:0;margin:0;display:grid;gap:4px}
.when{color:var(--muted);font-size:12px;white-space:nowrap;font-variant-numeric:tabular-nums;margin-right:4px}
.newm{font-size:10.5px;color:var(--panel);background:var(--human);border-radius:3px;padding:0 4px}
.stats{display:flex;flex-wrap:wrap;gap:6px 18px;font-size:13.5px;color:var(--muted)}
.stats b{color:var(--ink);font-weight:600;font-variant-numeric:tabular-nums}
.proj{max-width:800px;margin:0 auto;display:grid;gap:22px;width:100%}
.ptitle{font-family:var(--read);font-size:32px;font-weight:600;margin:0;text-wrap:balance;line-height:1.2}
.auth{color:var(--muted);font-size:15px;margin-top:6px}
.toc{display:grid;gap:2px}
.toc .trow{display:flex;gap:10px;align-items:baseline;padding:5px 8px;border-radius:6px;font-family:var(--read);font-size:17px;text-decoration:none;color:var(--ink)}
.toc .trow:hover{background:var(--accent-soft)}
.toc .trow.d2{padding-left:28px;font-size:15.5px}.toc .trow.stmt{font-size:14px;color:var(--muted);padding-left:28px}
.toc .trow .n{color:var(--muted);min-width:22px;font-variant-numeric:tabular-nums}
/* desk layout */
#v-work{display:grid;gap:10px;grid-template-columns:240px minmax(0,1fr);height:100%;min-height:0}
#v-work.editA{grid-template-columns:240px minmax(0,1fr) minmax(0,1fr)}
#v-work.hasPanel{grid-template-columns:240px minmax(0,1fr) 340px}
#v-work.editA.hasPanel{grid-template-columns:220px minmax(0,1fr) minmax(0,1fr) 320px}
#v-work.nodepage{grid-template-columns:minmax(0,1fr)}#v-work.nodepage.hasPanel{grid-template-columns:minmax(0,1fr) 340px}
#v-work:not(.editA) #srcPane{display:none}
.pane{background:var(--panel);border:1px solid var(--line);border-radius:8px;display:flex;flex-direction:column;min-height:0;min-width:0;overflow:hidden}
.paneHead{padding:6px 10px 6px 12px;border-bottom:1px solid var(--line);color:var(--muted);font-size:12px;display:flex;flex-wrap:wrap;align-items:center;gap:6px 10px;min-height:38px}
.paneHead .cap{letter-spacing:.04em;text-transform:uppercase}
.paneHead b{color:var(--ink);font-weight:500;white-space:nowrap;overflow:hidden;text-overflow:ellipsis;min-width:0}
.paneHead button,.paneHead .button,.paneHead select{font-size:12px;padding:3px 8px}
.scroll{overflow:auto;flex:1;min-height:0}
#filter{margin:6px;width:calc(100% - 12px)}
#outlineList{padding:0 6px 6px;display:flex;flex-direction:column;gap:1px}
.row{display:flex;align-items:center;gap:6px;text-align:left;border:0;background:transparent;padding:4px 6px;border-radius:5px;width:100%}
.row:hover{background:var(--accent-soft)}
.row.on{background:var(--accent-soft);box-shadow:inset 2px 0 0 var(--accent)}
.row .num{color:var(--muted);font-variant-numeric:tabular-nums;font-size:12.5px}
.row .lab{flex:1;min-width:0;white-space:nowrap;overflow:hidden;text-overflow:ellipsis}
.row.r-section{font-weight:500}.row.d0{font-weight:600}
.desc{color:var(--muted);font-weight:400}
.vistbl td{vertical-align:middle}.vistbl tr.haswarn td{background:var(--note)}.warnline{color:var(--note-ink);font-size:12.5px}.vistbl .rd{font-size:15px}
.descform{display:flex;gap:6px}.descform input{flex:1;min-width:0}
.row.dragover-before{box-shadow:inset 0 2px 0 var(--accent)}.row.dragover-after{box-shadow:inset 0 -2px 0 var(--accent)}
.twist{width:12px;color:var(--muted);font-size:10px;flex:none;text-align:center}
.dot{width:9px;height:9px;border-radius:50%;flex:none;display:inline-block;vertical-align:middle}
.dot.human{background:var(--human)}.dot.ai{background:var(--ai)}.dot.none{border:1.5px solid var(--none)}
.pubm{font-size:10.5px;color:var(--accent);border:1px solid var(--line);border-radius:3px;padding:0 3px}
.legend{border-top:1px solid var(--line);padding:8px 12px;color:var(--muted);font-size:12px;display:grid;gap:3px}
.legend div,.legend span{display:inline-flex;align-items:center;gap:7px}
.legend.inline{border:0;padding:0;display:flex;gap:14px;margin-bottom:8px}
#cmHost{flex:1;min-height:0;position:relative;overflow:hidden}
#cmHost .cm-editor{position:absolute;inset:0;height:auto;background:var(--code-bg);color:var(--ink)}
#cmHost .cm-scroller,.inlineEd .cm-scroller{overflow:auto}
#cmHost .cm-gutters{background:var(--code-bg);border-right:1px solid var(--line);color:var(--muted)}
#cmHost .cm-activeLineGutter,#cmHost .cm-activeLine{background:var(--accent-soft)}
#srcFoot{padding:4px 10px;border-top:1px solid var(--line);display:flex;gap:10px;font-size:12px}
.menuwrap{position:relative}.menu{position:absolute;top:100%;left:0;background:var(--panel);border:1px solid var(--line);border-radius:6px;padding:4px;z-index:5;display:grid;gap:2px;min-width:200px}
.menu button{border:0;text-align:left;background:transparent}.menu button:hover{background:var(--accent-soft)}
/* paper */
#paper,.paper{padding:16px 26px 60px;background:var(--paper);min-height:100%}
#v-work:not(.editA) #paper,#v-work:not(.editA) .paper{padding-inline:max(26px, calc((100% - 760px)/2))}
.rd{font-family:var(--read);font-size:17px;line-height:1.55}
.rd p{margin:0 0 10px}
.rd.small{font-size:14.5px}
.sec{font-family:var(--read);font-weight:600;margin:0;text-wrap:balance;display:inline}
.sec.l1{font-size:24px}.sec.l2{font-size:20px}.sec.l3{font-size:17.5px}.sec.l4{font-size:17px;font-style:italic}
.secRow{display:flex;flex-wrap:wrap;align-items:center;gap:6px 10px;margin:20px 0 6px}
.secRow.l1{margin-top:2px}
.blk{border-radius:6px;padding:3px 8px;margin-inline:-8px;border:1px solid transparent;scroll-margin-top:10px;position:relative}
.editB .blk.ed,.editB .blk{cursor:text}.editB .blk:hover{border-color:var(--line);background:var(--panel)}
.editA .blk,.read .blk.stmt-blk,.read .blk.head-blk,.read .blk.proof-blk{cursor:pointer}
.read .blk.stmt-blk:hover,.read .blk.head-blk:hover{border-color:var(--line)}
.blk.sel{border-color:var(--accent);background:var(--accent-soft)}
.blk.inscope{box-shadow:inset 3px 0 0 var(--accent);border-radius:0}
.blk.cursor{box-shadow:inset 3px 0 0 var(--ai)}
.blk.flash{animation:flash 1.2s}
@keyframes flash{from{background:var(--note)}to{background:transparent}}
.stmtHead{display:flex;flex-wrap:wrap;align-items:center;gap:5px 7px;margin-bottom:2px}
.stmtHead b{font-weight:600}
.stmt{margin:7px 0}.stmt.it .body{font-style:italic}
.stmt.it .body .m{font-style:normal}
.chip{font-family:var(--ui);font-size:11.5px;font-style:normal;font-weight:400;padding:1px 8px;border-radius:999px;display:inline-flex;align-items:center;gap:5px;background:transparent;border:1px solid var(--line);color:var(--muted);line-height:1.5;cursor:default}
button.chip{cursor:pointer}
.chip.e-human{color:var(--human);border-color:var(--human)}
.chip.e-ai{color:var(--ai);border-color:var(--ai)}
.chip.lean{color:var(--lean);border-color:var(--lean)}
.chip.cited{font-style:italic}
.chip.cond{color:var(--note-ink);border-color:var(--ai)}
.chip.vis-public{color:var(--accent);border-color:var(--accent)}
.chip.vis-withdrawn{text-decoration:line-through}
.chip.info{padding-inline:6px}
.tagc{font-family:var(--mono);font-size:12px;font-style:normal;color:var(--accent);border:1px solid var(--line);border-radius:4px;padding:0 5px;text-decoration:none}
.tagc.off{color:var(--muted);text-decoration:line-through}
details.proof{margin:2px 0 8px}
details.proof summary{font-family:var(--ui);font-size:13px;color:var(--accent);cursor:pointer;width:max-content;max-width:100%}
details.proof summary span{color:var(--muted)}
details.proof .body{margin-top:4px}
.noproof{font-family:var(--ui);font-size:13px;color:var(--muted);margin:0 0 8px}
.qed{float:right}.tqed{float:right;color:var(--muted)}
a.ref{color:var(--accent);text-decoration:none}a.ref:hover{text-decoration:underline}
.unpub{color:var(--muted);font-style:italic}
.unresolved{color:var(--def);border-bottom:1px dashed var(--def);font-family:var(--mono);font-size:.8em;font-style:normal}
.citeb{color:var(--muted);font-style:normal}.citeb a{color:var(--muted);text-decoration:none}.citeb a:hover{text-decoration:underline}
.mdef{color:var(--def)}.mdef{fill:var(--def)}
.tc{}
.fn a{font-family:var(--ui);font-size:.68em;color:var(--accent);font-style:normal;text-decoration:none}
.footnotes{font-size:.84em;color:var(--muted);font-style:normal;border-top:1px solid var(--line);margin-top:6px;padding-top:4px}
.fnote p{display:inline}
.todo{font-family:var(--ui);font-size:12.5px;font-style:normal;background:var(--note);color:var(--note-ink);border-radius:4px;padding:1px 6px}
.todo-k{font-family:var(--mono);font-size:11px;opacity:.7}
.unk{font-family:var(--mono);font-size:.8em;color:var(--def);border-bottom:1px dashed var(--def);font-style:normal}
.unk-env{border-left:2px dashed var(--def);padding-left:8px}
.disp{margin:8px 0;overflow-x:auto;overflow-y:hidden}
.dg{margin:8px 0;text-align:center;overflow-x:auto}
.dg img{filter:var(--dg);max-width:100%}
.dg-inline{display:inline-block;margin:0 4px;vertical-align:middle}.dg-inline img{max-height:4em}
.dg-wrap{position:relative;margin:8px 0}.dg-tag{position:absolute;right:8px;top:50%;transform:translateY(-50%);color:var(--muted)}
.dg-suffix{position:absolute;right:40%;bottom:0}
.dgsrc,.texerr{font-family:var(--mono);font-size:11.5px;font-style:normal;text-align:left;white-space:pre-wrap;background:var(--code-bg);border:1px dashed var(--line);border-radius:6px;padding:8px;color:var(--muted);margin:4px 0}
.texerr{color:var(--def);border-color:var(--def)}
.dgnote{font-family:var(--ui);font-size:12px;color:var(--muted);text-align:left}
.list{padding-left:0;list-style:none;margin:6px 0}.list li{display:flex;gap:8px;margin:2px 0}.li-mark{flex:none;min-width:1.6em;text-align:right}.li-body{flex:1;min-width:0}.li-body p{margin:0 0 6px}
.list.description .li-mark{min-width:0;text-align:left}
.center{text-align:center}.sc{font-variant:small-caps}.tt{font-family:var(--mono);font-size:.9em}.nobr{white-space:nowrap}.fbox{border:1px solid var(--ink);padding:0 4px}
.sz-small{font-size:.9em}.sz-footnote{font-size:.85em}.sz-script{font-size:.75em}.sz-tiny{font-size:.65em}.sz-large{font-size:1.15em}.sz-Large{font-size:1.3em}
figure{margin:12px 0;text-align:center}figcaption{font-size:.9em;color:var(--muted)}.figimg{max-width:100%}
.restate{border-left:3px solid var(--accent-soft);padding:4px 10px;margin:8px 0}
.stmt-inline{margin:6px 0;padding-left:8px;border-left:2px solid var(--line)}
.comment-only{font-family:var(--ui);font-size:12px;color:var(--muted);border:1px dashed var(--line);border-radius:4px;padding:2px 6px}
.ins{height:12px;position:relative;font-family:var(--ui)}
.ins button{position:absolute;left:50%;top:50%;transform:translate(-50%,-50%);font-size:11px;padding:0 8px;line-height:18px;color:var(--muted);border-radius:999px}
@media (hover:hover){ .ins button{opacity:0} .ins:hover button,.ins button:focus-visible{opacity:1} }
.inlineEd{border:1px solid var(--accent);border-radius:8px;background:var(--panel);margin:8px -8px;overflow:hidden;font-family:var(--ui);font-size:14px}
.inlineEd .edHost{min-height:150px;max-height:50vh;position:relative}
.inlineEd .edHost .cm-editor{max-height:50vh}
.inlineEd textarea{display:block;width:100%;min-height:150px;border:0;resize:vertical;background:var(--code-bg)}
.edBar{display:flex;flex-wrap:wrap;align-items:center;gap:8px;padding:7px 10px;border-block:1px solid var(--line);font-size:13px}
.edBar span{color:var(--muted)}
.inlineEd .rd{padding:10px 16px 12px;background:var(--paper)}
.empty{font-family:var(--ui);font-size:14px;color:var(--muted);padding:30px 0}
.pager{display:flex;gap:16px;justify-content:space-between;font-family:var(--ui);font-size:13px;padding:8px 26px}
#panel .scroll{padding:12px 14px;display:grid;gap:14px;align-content:start}
#panel h3{font-size:12px;letter-spacing:.04em;text-transform:uppercase;color:var(--muted);font-weight:500;margin:0 0 5px}
#panel .ttl{font-family:var(--read);font-size:18px;font-weight:600}
#panel .mono{font-family:var(--mono);font-size:12px;color:var(--muted);overflow-wrap:anywhere}
#panel ul{list-style:none;margin:0;padding:0;display:grid;gap:3px}
#panel li{display:flex;gap:6px;align-items:baseline;flex-wrap:wrap}
#panel pre{font-family:var(--mono);font-size:11px;background:var(--code-bg);border:1px solid var(--line);border-radius:6px;padding:8px;margin:0 0 6px;overflow-x:auto;white-space:pre-wrap}
#panel textarea{width:100%;min-height:60px;border:1px solid var(--line);border-radius:6px;background:var(--panel);padding:6px 8px;resize:vertical}
#panel .note{font-size:12px;padding:4px 8px}
.stset{display:flex;flex-wrap:wrap;gap:6px;align-items:center}
.stset button[aria-pressed="true"]{border-color:var(--accent);box-shadow:inset 0 0 0 1px var(--accent);font-weight:500}
.com{border-left:2px solid var(--line);padding-left:8px;display:block!important}
#dlg{position:fixed;inset:0;background:var(--scrim);display:flex;align-items:center;justify-content:center;padding:16px;z-index:20}
#dlgBox{background:var(--panel);border:1px solid var(--line);border-radius:10px;max-width:560px;width:100%;max-height:90%;overflow:auto;padding:18px 20px;display:grid;gap:10px}
#dlgBox h2{font-size:17px;margin:0;font-weight:600}
#dlgBox ul{margin:0;padding-left:18px;max-height:200px;overflow:auto}
#dlgBox .warn{margin:0}
#dlgBox label{display:flex;gap:8px;align-items:flex-start}
#dlgBox .btns{display:flex;justify-content:flex-end;gap:8px;margin-top:4px}
#dlgBox input[type=text]{width:100%}
.conflict{display:grid;grid-template-columns:1fr 1fr;gap:8px;font-family:var(--mono);font-size:11.5px}
.conflict pre{white-space:pre-wrap;background:var(--code-bg);padding:6px;border-radius:6px;margin:0;max-height:160px;overflow:auto}
.results{list-style:none;padding:0;display:grid;gap:12px}.snippet{font-size:14px;color:var(--muted)}.snippet mark{background:var(--note)}
.searchbig input{width:60%}
dl.bib dt{font-family:var(--mono);font-size:13px;color:var(--muted);margin-top:8px}dl.bib dd{margin:0 0 4px 0}
.graph{overflow:auto;border:1px solid var(--line);border-radius:8px;background:var(--paper)}
.gnode:hover circle{stroke-width:2}
.intro{margin-bottom:16px}
.doclist li{margin:3px 0;cursor:grab}
.envtbl input[type=text],.envtbl input:not([type]){width:100%}
mjx-container{max-width:100%;overflow-x:auto;overflow-y:hidden}
mjx-container[display="true"]{margin:6px 0!important}
.mjx-def{display:none}
.revtext{max-height:180px}
code{font-family:var(--mono);font-size:.9em;background:var(--code-bg);padding:0 3px;border-radius:3px}
@media (max-width:900px){
  html,body{height:auto}
  main.work{display:block}
  #v-work,#v-work.editA,#v-work.hasPanel,#v-work.editA.hasPanel{grid-template-columns:minmax(0,1fr);height:auto}
  #outline .scroll{max-height:200px}
  #cmHost{height:340px;flex:none}
  #paper,#v-work:not(.editA) #paper,.paper{padding-inline:16px}
  .page{padding:14px}
}
@media (prefers-reduced-motion:reduce){ .blk.flash{animation:none} }