.toc[data-astro-cid-xvrfupwn]{border:1px solid var(--accent-6);padding:1em 1.5em;margin-bottom:2em;max-width:var(--width-max)}.toc[data-astro-cid-xvrfupwn] summary[data-astro-cid-xvrfupwn]{cursor:pointer;font-weight:700;font-size:1.1rem;color:var(--accent-11);list-style:none}.toc[data-astro-cid-xvrfupwn] summary[data-astro-cid-xvrfupwn]:before{content:"▶ ";font-size:.75em;transition:transform .2s;display:inline-block}.toc[data-astro-cid-xvrfupwn][open] summary[data-astro-cid-xvrfupwn]:before{transform:rotate(90deg)}.toc-list[data-astro-cid-xvrfupwn]{margin:.75em 0 0;padding:0;list-style:none}.toc-list[data-astro-cid-xvrfupwn] li[data-astro-cid-xvrfupwn]{margin:.3em 0;text-indent:0}.toc-list[data-astro-cid-xvrfupwn] li[data-astro-cid-xvrfupwn] a[data-astro-cid-xvrfupwn]{text-decoration:none;color:var(--gray-11)}.toc-list[data-astro-cid-xvrfupwn] li[data-astro-cid-xvrfupwn] a[data-astro-cid-xvrfupwn]:hover{color:var(--accent-11)}.toc-depth-3[data-astro-cid-xvrfupwn]{padding-left:1.5em}.cite-group[data-astro-cid-lwmcem6b]{display:inline-block;vertical-align:baseline;position:relative;font-size:.85em}.cite-group[data-astro-cid-lwmcem6b] .cite-citation[data-astro-cid-lwmcem6b]{bottom:140%;left:0;width:max-content}.cite-bibliography[data-astro-cid-lwmcem6b]{font-size:medium;line-height:normal;margin-left:2rem;margin-right:2rem}.citerror[data-astro-cid-lwmcem6b]{color:#fff;background-color:red}.visually-hidden[data-astro-cid-lwmcem6b]{clip:rect(1px,1px,1px,1px);height:1px;overflow:hidden;position:absolute;width:1px}span[data-astro-cid-lwmcem6b].full-list-booktitle{font-style:italic}dt[data-astro-cid-lwmcem6b]{font-weight:700}dd[data-astro-cid-lwmcem6b]{margin-inline-start:0;margin-bottom:1rem;display:block}.ref[data-astro-cid-kq6bl4pv]{display:inline}.ref-link[data-astro-cid-kq6bl4pv]{display:inline;cursor:pointer;border-bottom:3px dotted var(--accent-8)}.ref[data-astro-cid-kq6bl4pv] .ref-popup[data-astro-cid-kq6bl4pv]{left:0}.tab[data-astro-cid-dghoa5dr]{display:none;overflow-x:auto;overflow-y:hidden}.tab-active[data-astro-cid-dghoa5dr]{display:flex;overflow-x:auto;overflow-y:hidden}.tabbed{max-width:var(--width-max);width:100%}.tab-header{display:flex;flex-wrap:wrap;border-radius:5px;justify-content:flex-end;align-items:center}.tab-button{border:none;border-bottom:solid;border-color:var(--gray-4);background-color:var(--gray-4);padding:5px;margin:2px;cursor:pointer}.tab-button{color:var(--accent-11);border-color:var(--gray-4);background-color:var(--gray-4)}:is(.dark) .tab-button{color:var(--accent-8);border-color:var(--gray-4);background-color:var(--gray-4)}.tab-button:hover{background-color:var(--accent-2)}.tab-button:focus-visible{outline:2px solid var(--accent-9);outline-offset:2px}.tab-button-active{border-bottom:solid;border-color:var(--accent-4)}:is(.dark) .tab-button-active{border-color:var(--accent-8)}.inference-rule[data-astro-cid-hszy64wv]{display:flex;flex-direction:row;justify-content:center;align-items:center}.inference-headbody-wrap[data-astro-cid-hszy64wv]{display:flex;flex-direction:column}.infer-head[data-astro-cid-hszy64wv]{display:flex;border-bottom:solid 2px;padding-left:.25em;padding-right:.25em;padding-top:1em;justify-content:center}.infer-body[data-astro-cid-hszy64wv]{display:flex;justify-content:center;padding-left:.25em;padding-right:.25em}.infer-label[data-astro-cid-hszy64wv]{padding-left:.25em}@media(max-width:700px){.inference-rule[data-astro-cid-hszy64wv]{flex-direction:column;align-items:flex-start}.inference-rule[data-astro-cid-hszy64wv] .katex{font-size:.85em}.infer-label[data-astro-cid-hszy64wv]{padding-left:0;padding-top:.25em}}@media(max-width:412px){.inference-rule[data-astro-cid-hszy64wv] .katex{font-size:.75em}}.inferences[data-astro-cid-jbo4f3m7]{display:flex;flex:3;flex-direction:row;flex-wrap:wrap;justify-content:space-around;overflow-x:auto;max-width:100%}.proof-diagram[data-astro-cid-uvrwcltu]{display:flex;flex-wrap:wrap;justify-items:left;justify-content:space-around;width:var(--width-max);max-width:100%;overflow-x:auto}.ref[data-astro-cid-pxorozpt]{display:inline}.ref-link[data-astro-cid-pxorozpt]{display:inline;cursor:pointer;border-bottom:3px dotted var(--accent-8)}.ref[data-astro-cid-pxorozpt] .ref-popup[data-astro-cid-pxorozpt]{left:0}.proof-diagram-line[data-astro-cid-pxorozpt]{width:33%;flex-grow:1;display:inline-flex;justify-items:left;align-items:center}.proof-diagram-have[data-astro-cid-pxorozpt]{justify-content:flex-start}.proof-diagram-comment[data-astro-cid-pxorozpt]{justify-content:center;flex-wrap:wrap;font-style:italic;color:var(--gray-11)}.proof-diagram-want[data-astro-cid-pxorozpt]{justify-content:flex-start;margin-bottom:.2em}.proof-diagram-line-wrap[data-astro-cid-pxorozpt]{flex-wrap:nowrap;white-space:nowrap;overflow-y:hidden;overflow-x:auto;height:auto;padding-bottom:2px;-webkit-box-sizing:border-box}.proof-diagram-line-wrap[data-astro-cid-pxorozpt]::-webkit-scrollbar{height:8px}.proof-diagram-line-wrap[data-astro-cid-pxorozpt]::-webkit-scrollbar-track{-webkit-box-shadow:inset 0 0 4px rgba(0,0,0,.3);border-radius:7px}.proof-diagram-line-wrap[data-astro-cid-pxorozpt]::-webkit-scrollbar-thumb{border-radius:7px;-webkit-box-shadow:inset 0 0 8px rgba(0,0,0,.5)}.proof-diagram-line-wrap[data-astro-cid-pxorozpt]::-webkit-scrollbar-thumb:hover{-webkit-box-shadow:inset 0 0 4px rgba(0,0,0,.8)}@media(max-width:700px){.proof-diagram-line[data-astro-cid-pxorozpt]{width:100%;padding:.3em 0}.proof-diagram-empty[data-astro-cid-pxorozpt]{display:none}.proof-diagram-have[data-astro-cid-pxorozpt]:before{content:"H";font-weight:700;color:var(--accent-11);flex-shrink:0;margin-right:.5em;min-width:1.2em}.proof-diagram-comment[data-astro-cid-pxorozpt]{justify-content:flex-start}.proof-diagram-comment[data-astro-cid-pxorozpt]:before{content:"C";font-weight:700;color:var(--accent-9);flex-shrink:0;margin-right:.5em;min-width:1.2em}.proof-diagram-want[data-astro-cid-pxorozpt]:before{content:"W";font-weight:700;color:var(--accent-12);flex-shrink:0;margin-right:.5em;min-width:1.2em}.proof-diagram-want[data-astro-cid-pxorozpt]{margin-bottom:.75em;padding-bottom:.75em;border-bottom:1px dashed var(--accent-6)}}.proof-diagram-title[data-astro-cid-p3hf6irp]{width:calc(33% - 2em - 2px);flex-grow:1;font-size:16pt;border-bottom:2px solid var(--accent-8);margin-bottom:1em;text-align:center;padding-left:1em;padding-right:1em}@media(max-width:700px){.proof-diagram-title[data-astro-cid-p3hf6irp]{display:none}}.callout[data-astro-cid-mrmim4ef]{line-height:inherit;margin-bottom:27px;border:1.5px solid var(--accent-8);padding:6px 12px;display:flex;gap:12px;box-shadow:10px 7px 0 var(--accent-8);flex-direction:inherit}.callout[data-astro-cid-mrmim4ef] .callout-icon[data-astro-cid-mrmim4ef]{height:1.75em;display:flex;align-items:center}.callout-content[data-astro-cid-mrmim4ef]{display:flex;flex-direction:column;min-width:0}.callout-header[data-astro-cid-mrmim4ef]{display:flex;flex-wrap:wrap;background-color:var(--gray-4);box-shadow:4px 2px var(--accent-4);margin-bottom:2px;font-size:13pt;max-width:var(--width-max);word-break:break-word;overflow-wrap:anywhere}.callout[data-astro-cid-mrmim4ef] .callout-content[data-astro-cid-mrmim4ef] p[data-astro-cid-mrmim4ef]{margin:0}.callout[data-astro-cid-mrmim4ef] .callout-content[data-astro-cid-mrmim4ef] p[data-astro-cid-mrmim4ef]+p[data-astro-cid-mrmim4ef]{margin:.2em 0 .5em}strong[data-astro-cid-mrmim4ef]{font-weight:700}blockquote[data-astro-cid-mrmim4ef]{max-width:calc(var(--width-max) + 3ch)}blockquote[data-astro-cid-mrmim4ef]>span[data-astro-cid-mrmim4ef]>span[data-astro-cid-mrmim4ef]>span[data-astro-cid-mrmim4ef]{font-size:13pt;margin:.5rem}@media(max-width:700px){.callout[data-astro-cid-mrmim4ef]{box-shadow:5px 4px 0 var(--accent-8)}}.definition-content[data-astro-cid-mrmim4ef]{max-width:min(var(--width-max),100%);display:inline-block;overflow-x:auto;overflow-y:hidden;vertical-align:top}.callout-header-text[data-astro-cid-mrmim4ef]{font-family:KaTeX_Main,Times New Roman,serif;min-width:0;max-width:100%;overflow-x:auto;overflow-y:hidden}.reading-time[data-astro-cid-lvjzyg5v]{display:block;font-size:.9rem;color:var(--gray-11);margin-bottom:1em}