html,body,*{font-family:"Source Serif 4",Georgia,serif}code,pre,kbd,samp,.mono,svg text,table.readout,table.tape,table.types,.slot,.meta,.figlabel,.header{font-family:JetBrains Mono,Courier New,monospace}*{box-sizing:border-box;margin:0;padding:0}html{-webkit-hyphens:auto;hyphens:auto}body{color:#222;background:#fff;font-size:13px;line-height:1.65;overflow-x:hidden}a{color:#3346c8;text-decoration:underline}a:hover{color:#1f2f9e}.header{z-index:10;background:#fff;justify-content:space-between;align-items:center;height:32px;padding:0 20px;display:flex;position:fixed;top:0;left:0;right:0}.header .wordmark{color:#666;font-size:11px;line-height:1;text-decoration:none}.header .wordmark:hover{color:#666}.header .links{gap:24px;display:flex}.header .links a,.header .links span{color:#3346c8;font-size:11px;line-height:1}.header .links span{text-decoration:underline}.article{width:760px;max-width:calc(100vw - 40px);margin:0 auto;padding-top:72px}h1.title{color:#111;font-size:26px;font-weight:700;line-height:1.2}.subtitle{color:#3346c8;margin-top:6px;font-size:12px;line-height:1.5}.abstract{color:#222;text-align:justify;margin-top:22px;font-size:13px;line-height:1.65}.abstract b,.noteline b,.keywords b{color:#111;font-weight:700}.noteline{color:#222;margin-top:10px;font-size:13px;line-height:1.65}.keywords{color:#222;font-size:13px;line-height:1.65}hr.rule{border:0;border-top:1px solid #d6d6d6;margin:26px 0}h2{color:#111;scroll-margin-top:48px;font-size:14px;font-weight:700;line-height:1.4}h2+p{margin-top:10px}p{color:#222;text-align:justify;font-size:13px;line-height:1.65}p+p{margin-top:10px}p+h2{margin-top:24px}.equation{color:#111;text-align:center;white-space:pre;margin:14px 0;font-family:JetBrains Mono,Courier New,monospace;font-size:12px;line-height:1.9;overflow-x:auto}pre.code{color:#222;white-space:pre;background:#fafafa;border:1px solid #e2e2e2;margin:12px 0;padding:12px 14px;font-size:11px;line-height:1.7;overflow-x:auto}figure{text-align:center;margin:22px 0 0}figure svg{shape-rendering:crispedges;width:100%;height:auto}figcaption{text-align:left;color:#444;margin-top:8px;font-size:12px;line-height:1.5}figcaption b{color:#111;font-weight:700}.aftercaption{margin-top:22px}table.types,table.readout,table.tape{border-collapse:collapse;color:#222;text-align:left;width:100%;font-size:11px;line-height:1.6}table.types{margin:22px 0}table.types th,table.readout th,table.tape th{color:#666;background:#efefef;font-weight:500}table.types th,table.types td{border-bottom:1px solid #e6e6e6;padding:4px 8px}table.types tbody tr:nth-child(2n){background:#f5f5f5}table.readout td{border-bottom:1px solid #e6e6e6;padding:4px 8px}table.readout tr:nth-child(2n){background:#f5f5f5}table.readout td.label{color:#666;width:260px}.tablewrap{overflow-x:auto}.tapebox{border:1px solid #d6d6d6;min-height:160px;overflow-x:auto}table.tape td,table.tape th{padding:3px 6px;font-size:10.5px}table.tape th{font-size:10px}table.tape tbody tr:nth-child(2n){background:#f5f5f5}.meta{color:#666;font-size:11px;line-height:1.6}.errline{color:#888;font-size:10px;line-height:1.6}.figlabel{color:#666;font-size:10px}.slot{border-bottom:1px solid #e6e6e6;min-width:4ch;display:inline-block}.slot.filled{border-bottom:0}.verified{color:#111}.unverified{color:#b3261e}.livehead{margin-top:30px}.endspace{height:96px}.docsframe{gap:40px;width:900px;max-width:calc(100vw - 40px);margin:0 auto;padding-top:40px;display:flex}.docssidebar{flex:0 0 200px;align-self:flex-start;width:200px;position:sticky;top:56px}.docssidebar .contents{color:#888;margin-bottom:8px;font-family:JetBrains Mono,Courier New,monospace;font-size:10.5px;line-height:1}.docssidebar a{color:#555;font-family:JetBrains Mono,Courier New,monospace;font-size:10.5px;line-height:2;text-decoration:none;display:block}.docssidebar a.active{color:#111;font-weight:500}.docscontent{width:660px;max-width:100%}.docscontent h1{color:#111;font-size:22px;font-weight:700;line-height:1.25}.docscontent h3{color:#111;margin-top:28px;scroll-margin-top:48px;font-size:13px;font-weight:700;line-height:1.4}.docscontent h3+p{margin-top:8px}.docscontent p{color:#222;font-size:12px;line-height:1.7}.docscontent p+p{margin-top:8px}.docscontent pre.code{font-size:10.5px;line-height:1.65}.docscontent table.readout,.docscontent table.types{font-size:10.5px}.docscontent table.readout td,.docscontent table.types td,.docscontent table.types th{padding:6px 10px}@media (width<=960px){.docssidebar{display:none}.docscontent,.docsframe{width:calc(100vw - 40px)}}