:root{--paper:#f4f3ec;--paper2:#e8e6dc;--ink:#111;--muted:#555;--link:#0000b8;--visited:#551a8b;--side:#deddd4;--max:1500px}
*{box-sizing:border-box}html{font-size:17px}body{margin:0;color:var(--ink);background:var(--paper);font-family:Georgia,"Times New Roman",serif;line-height:1.55}
a{color:var(--link)}a:visited{color:var(--visited)}a:hover{text-decoration-thickness:2px}.skip{position:absolute;left:-9999px}.skip:focus{left:.5rem;top:.5rem;z-index:100;background:white;padding:.5rem}
.institutional{border-bottom:3px double #222;background:#eceae1}.masthead{max-width:var(--max);margin:0 auto;padding:.8rem 1rem .55rem;display:flex;justify-content:space-between;gap:2rem;align-items:center}
.brand{color:#111!important;display:flex;align-items:center;gap:.8rem;text-decoration:none}.brand img{image-rendering:pixelated;object-fit:contain}.brand b{display:block;font-family:"Courier New",monospace;font-size:1.23rem}.brand small{display:block;color:#444;margin-top:.12rem}
.edition{font:.7rem/1.5 "Courier New",monospace;text-align:right;white-space:nowrap}.edition span{display:block}.toplinks{max-width:var(--max);margin:0 auto;padding:.3rem 1rem .42rem;font:.78rem/1.4 Arial,sans-serif;border-top:1px solid #aaa}.toplinks a{margin-right:1.4rem}
.layout{max-width:var(--max);margin:0 auto;display:grid;grid-template-columns:285px minmax(0,1fr);align-items:start}.sidebar{min-height:calc(100vh - 120px);background:var(--side);border-right:1px solid #999;padding:1rem .8rem 2rem 1rem;font:.78rem/1.35 Arial,sans-serif;overflow-wrap:anywhere}
.sidebar-title{font:bold .76rem "Courier New",monospace;letter-spacing:.08em;border-bottom:1px solid #777;padding-bottom:.4rem;margin-bottom:.5rem}.sidebar ul{list-style:none;padding-left:.8rem;margin:.22rem 0}.sidebar>ul{padding-left:0}.sidebar li{margin:.17rem 0}.sidebar details>summary{cursor:pointer;font-weight:700;color:#222}.sidebar a.active{color:#000;font-weight:700;text-decoration:none}.sidebar hr{border:0;border-top:1px solid #999;margin:1rem 0}
.search label{display:block;font-weight:700;margin-bottom:.25rem}.search input{width:100%;border:1px solid #666;background:#fff;padding:.34rem;font:.8rem Arial,sans-serif}.search-results{margin-top:.4rem}.search-results a{display:block;padding:.25rem 0;border-bottom:1px dotted #aaa}
.content{min-width:0;padding:1.1rem clamp(1rem,3vw,3.3rem) 4rem;max-width:1120px}.crumbs{font:.72rem "Courier New",monospace;color:#555;margin-bottom:1.4rem;border-bottom:1px solid #bbb;padding-bottom:.45rem}.crumbs span{margin:0 .3rem}article{max-width:960px}
article h1{font-size:2.05rem;line-height:1.15;margin:.2rem 0 1.15rem;color:#111}article h2{font-size:1.42rem;line-height:1.25;border-bottom:1px solid #999;padding-bottom:.18rem;margin-top:2.1rem}article h3{font-size:1.12rem;margin-top:1.65rem;color:#333}article h4{font-size:1rem;font-style:italic}article p,article li{max-width:82ch}
article blockquote{margin-left:0;border-left:4px solid #999;padding:.2rem 1rem;color:#333;background:#eeede6}article code{font:.86em "Courier New",monospace;background:#ebeae3;padding:.05em .2em}article pre{background:#f8f8f4;border:1px solid #aaa;border-left:4px solid #666;padding:.8rem;overflow:auto;font-size:.79rem;line-height:1.4}article pre code{background:transparent;padding:0}
article table{border-collapse:collapse;margin:1rem 0 1.7rem;min-width:60%;font-size:.89rem}article th,article td{border:1px solid #777;padding:.38rem .55rem;vertical-align:top}article th{background:#d9d8cf;text-align:left}article img,article svg{max-width:100%;height:auto}
.figure{margin:1.5rem 0;padding:.8rem;border:1px solid #aaa;background:#faf9f4;overflow-x:auto}.figure figcaption{font-size:.78rem;color:#555;margin-top:.55rem}.abstract{border:1px solid #888;background:#ecebe4;padding:.8rem 1rem;margin:1rem 0 1.5rem;max-width:82ch}.record{font:.75rem "Courier New",monospace;border-top:1px solid #888;border-bottom:1px solid #888;padding:.45rem 0;margin:1rem 0 1.5rem}.record span{margin-right:1.3rem}
.status{display:inline-block;border:1px solid #555;padding:.05rem .35rem;font:.7rem "Courier New",monospace;background:#eee}.status.implemented{background:#dcebd8}.status.experimental{background:#fff0c9}.status.unproven{background:#eddada}.callout{border:1px solid #777;border-left-width:5px;padding:.65rem .8rem;margin:1rem 0;background:#efeee8}.callout strong{font-family:Arial,sans-serif;font-size:.8rem;text-transform:uppercase}
.document-record{margin-top:3rem;border-top:3px double #777;padding-top:.65rem;font:.72rem/1.6 "Courier New",monospace;color:#444}.document-record b,.document-record span{display:block}.pager{margin-top:1.3rem;display:flex;justify-content:space-between;gap:2rem;font-size:.85rem}footer{max-width:var(--max);margin:0 auto;padding:0 1rem 2rem;font-size:.72rem;color:#555}footer hr{border:0;border-top:1px solid #888}.nav-button{display:none}
@media(max-width:900px){html{font-size:16px}.masthead{align-items:flex-start}.edition{display:none}.toplinks{overflow-x:auto;white-space:nowrap}.layout{display:block}.nav-button{display:block;padding:.45rem .8rem;border-bottom:1px solid #777;background:#d6d5cc;font:bold .8rem Arial,sans-serif;cursor:pointer}.sidebar{display:none;min-height:auto;border-right:0;border-bottom:1px solid #999;max-height:72vh;overflow:auto}.nav-toggle:checked+.nav-button+.layout .sidebar{display:block}.content{padding:1rem 1rem 3rem}article table{display:block;overflow-x:auto;white-space:normal}}
@media(max-width:540px){.brand img{width:42px;height:42px}.brand small{font-size:.7rem}.brand b{font-size:.95rem}article h1{font-size:1.7rem}article h2{font-size:1.25rem}}