li[data-astro-cid-2xkdkvca]{list-style:none;margin-top:3px}li[data-astro-cid-2xkdkvca] ul[data-astro-cid-2xkdkvca]{padding-left:4px}a[data-astro-cid-2xkdkvca]{padding-left:4px;padding-top:6px;border-left:4px solid transparent}.dark a[data-astro-cid-2xkdkvca].active{border-left:4px solid var(--purple-12)}a[data-astro-cid-2xkdkvca].active{border-left:4px solid var(--purple-4)}nav[data-astro-cid-obewoz47].toc{position:sticky;left:1em;top:5rem;display:inline-block;align-self:flex-start;font-size:10pt}h1{font-size:2.5rem;line-height:calc(1ex / .42);margin:calc(1ex / .42) 0;padding-left:.3em;border-bottom:.1em solid var(--purple-a9);border-left:.1em solid var(--purple-a9);border-radius:10px}h2{font-size:2rem;line-height:calc(1ex / .42);margin:calc(1ex / .42) 0;padding-left:.3em;border-bottom:.1em solid var(--purple-a9)}h3{font-size:1.75rem;line-height:calc(1ex / .38);margin:calc(1ex / .38) 0;padding-left:.3em;border-bottom:.1em solid var(--purple-a9)}h4{font-size:1.5rem;line-height:calc(1ex / .37);margin:calc(1ex / .37) 0;padding-left:.3em;border-bottom:.1em solid var(--purple-a9)}h5{font-size:1.1rem;line-height:calc(1ex / .36);margin:calc(1ex / .36) 0;padding-left:.3em;border-bottom:.1em solid var(--purple-a9)}p{font-size:1rem;line-height:3.125ex;margin:3.125ex 0;width:var(--width-max);max-width:100%}div{max-width:min(92%,var(--width-max))}blockquote{margin:3em;padding-left:2em;font-size:15pt;border-left:4px solid var(--purple-a5);width:70%;position:relative}blockquote:before,blockquote:after{font-family:FontAwesome;position:absolute;color:var(--purple-a8);font-size:34px}blockquote:before{content:"";margin-right:-20px;bottom:-40px;right:100%}blockquote:after{content:"";margin-left:-20px;top:-20px;left:100%;bottom:auto}blockquote>cite{font-weight:500}blockquote>p{font-family:Verdana,serif;position:relative}.main-content ul{margin-left:2em;padding-top:1em;padding-bottom:1em}.main-content ul li{padding-top:.5em}.link[data-astro-cid-dyxsxm7a]{margin:2rem;padding:1rem;background-color:var(--purple-a3);border:2px solid var(--purple-a5);color:inherit}.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]{visibility:hidden;border:1px solid currentColor;padding:1rem;position:absolute;width:350px;max-width:100vw;z-index:1;bottom:140%;left:0;margin-left:-50px;z-index:2;transition:visibility 0s .3s,transform .3s ease 0s,opacity .3s ease 0s;opacity:0;transform:translateY(-8px)}.cite-group[data-astro-cid-lwmcem6b]:hover .cite-citation[data-astro-cid-lwmcem6b]{visibility:visible;transition:visibility 0s 0s,transform .3s,opacity .3s;opacity:1;transform:translateY(0)}.cite-group[data-astro-cid-lwmcem6b] .cite-citation[data-astro-cid-lwmcem6b]{background-color:var(--purple-1);color:var(--purple-8)}.dark .cite-group[data-astro-cid-lwmcem6b] .cite-citation[data-astro-cid-lwmcem6b]{background-color:var(--gray-2);color:var(--purple-3)}.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}.cite-group[data-astro-cid-lwmcem6b] .cite-citation[data-astro-cid-lwmcem6b]{max-width:calc(var(--max-width) - 10ch)}.ref[data-astro-cid-kq6bl4pv]{display:inline}.ref-link[data-astro-cid-kq6bl4pv]{display:inline;cursor:pointer;border-bottom:3px dotted var(--purple-8)}.ref-content[data-astro-cid-kq6bl4pv]{display:inline;position:absolute;border:1px solid var(--purple-8);padding:1rem;background:var(--gray-3);z-index:1;max-width:calc(100% - 16vw);left:10vw;overflow-x:auto;overflow-y:auto}.ref[data-astro-cid-kq6bl4pv] .ref-content[data-astro-cid-kq6bl4pv]{visibility:hidden;transition:visibility 0s 0s,transform .3s,opacity .3s;transform:translateY(25px);opacity:0}.ref[data-astro-cid-kq6bl4pv]:hover .ref-content[data-astro-cid-kq6bl4pv]{visibility:visible;transition:visibility 0s 0s,transform .3s ease 0s,opacity .3s ease 0s;opacity:1}.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{width:var(--width-max)}.tab-header{display:flex;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(--purple-11);border-color:var(--gray-4);background-color:var(--gray-4)}:is(.dark) .tab-button{color:var(--purple-8);border-color:var(--gray-4);background-color:var(--gray-4)}.tab-button:hover{background-color:var(--purple-2)}.tab-button-active{border-bottom:solid;border-color:var(--purple-4)}:is(.dark) .tab-button-active{border-color:var(--purple-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}.inferences[data-astro-cid-jbo4f3m7]{display:flex;flex:3;flex-direction:row;flex-wrap:wrap;justify-content:space-around}.proof-diagram[data-astro-cid-uvrwcltu]{display:flex;flex-wrap:wrap;justify-items:left;justify-content:space-around;width:var(--width-max)}.ref[data-astro-cid-pxorozpt]{display:inline}.ref-link[data-astro-cid-pxorozpt]{display:inline;cursor:pointer;border-bottom:3px dotted var(--purple-8)}.ref-content[data-astro-cid-pxorozpt]{display:inline;position:absolute;border:1px solid var(--purple-8);padding:1rem;background:var(--gray-3);z-index:1;width:calc(var(--max-layout-width) - 2*8vw);left:10vw;overflow-x:auto;overflow-y:auto}.ref[data-astro-cid-pxorozpt] .ref-content[data-astro-cid-pxorozpt]{visibility:hidden;transition:visibility 0s 0s,transform .3s,opacity .3s;transform:translateY(25px);opacity:0}.ref[data-astro-cid-pxorozpt]:hover .ref-content[data-astro-cid-pxorozpt]{visibility:visible;transition:visibility 0s 0s,transform .3s ease 0s,opacity .3s ease 0s;opacity:1}.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:left}.proof-diagram-comment[data-astro-cid-pxorozpt]{justify-content:center;flex-wrap:wrap}.proof-diagram-want[data-astro-cid-pxorozpt]{justify-content:left}.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)}.proof-diagram-title[data-astro-cid-p3hf6irp]{width:calc(33% - 2em - 2px);flex-grow:1;font-size:16pt;border-bottom:2px solid var(--purple-8);margin-bottom:1em;text-align:center;padding-left:1em;padding-right:1em}.callout[data-astro-cid-eidil4bh]{line-height:inherit;margin-bottom:27px;border:1.5px solid var(--purple-8);padding:6px 12px;display:flex;gap:12px;box-shadow:10px 7px 0 var(--purple-8);flex-direction:inherit}.callout[data-astro-cid-eidil4bh] .callout-icon[data-astro-cid-eidil4bh]{height:1.75em;display:flex;align-items:center}div[data-astro-cid-eidil4bh].callout-content{display:flex;flex-direction:column}.callout-header[data-astro-cid-eidil4bh]{display:flex;background-color:var(--gray-4);box-shadow:4px 2px var(--purple-4);margin-bottom:2px;font-size:13pt;max-width:calc(var(--width-max) - 13ch)}.callout[data-astro-cid-eidil4bh] .callout-content[data-astro-cid-eidil4bh] p[data-astro-cid-eidil4bh]{margin:0}.callout[data-astro-cid-eidil4bh] .callout-content[data-astro-cid-eidil4bh] p[data-astro-cid-eidil4bh]+p[data-astro-cid-eidil4bh]{margin:.2em 0 .5em}strong[data-astro-cid-eidil4bh]{font-weight:700}blockquote[data-astro-cid-eidil4bh]{width:calc(var(--width-max) - 18ch)}blockquote[data-astro-cid-eidil4bh]>span[data-astro-cid-eidil4bh]>span[data-astro-cid-eidil4bh]>span[data-astro-cid-eidil4bh]{font-size:13pt;margin:.5rem}.definition-content[data-astro-cid-eidil4bh]{max-width:calc(var(--width-max) - 18ch);display:inline-block}blockquote[data-astro-cid-eidil4bh]:before,blockquote[data-astro-cid-eidil4bh]:after{content:""}.callout[data-astro-cid-7lbwr5fx]{line-height:inherit;margin-bottom:27px;border:1.5px solid var(--purple-8);padding:6px 12px;display:flex;gap:12px;box-shadow:10px 7px 0 var(--purple-8);flex-direction:inherit}.callout[data-astro-cid-7lbwr5fx] .callout-icon[data-astro-cid-7lbwr5fx]{height:1.75em;display:flex;align-items:center}div[data-astro-cid-7lbwr5fx].callout-content{display:flex;flex-direction:column}.callout-header[data-astro-cid-7lbwr5fx]{display:flex;background-color:var(--gray-4);box-shadow:4px 2px var(--purple-4);margin-bottom:2px;font-size:13pt;max-width:var(--width-max)}.callout[data-astro-cid-7lbwr5fx] .callout-content[data-astro-cid-7lbwr5fx] p[data-astro-cid-7lbwr5fx]{margin:0}.callout[data-astro-cid-7lbwr5fx] .callout-content[data-astro-cid-7lbwr5fx] p[data-astro-cid-7lbwr5fx]+p[data-astro-cid-7lbwr5fx]{margin:.2em 0 .5em}strong[data-astro-cid-7lbwr5fx]{font-weight:700}blockquote[data-astro-cid-7lbwr5fx]{width:calc(var(--width-max) + 3ch)}blockquote[data-astro-cid-7lbwr5fx]>span[data-astro-cid-7lbwr5fx]>span[data-astro-cid-7lbwr5fx]>span[data-astro-cid-7lbwr5fx]{font-size:13pt;margin:.5rem}.definition-content[data-astro-cid-7lbwr5fx]{max-width:var(--width-max);display:inline-block}.dialogue-box{margin-block-end:1.2em;margin-inline-start:auto;margin-inline-end:auto;display:flex;overflow:hidden}.dialogue-left{flex-direction:row}.dialogue-right{flex-direction:row-reverse}.dialogue-box-character{align-self:flex-start;flex-basis:4.2em;width:4.2em;height:4.2em;margin:0rem .4rem;flex-shrink:0}.dialogue-box img{max-width:2em;opacity:1}:is(.dark) .dialogue-box img{opacity:.8}.dialogue-box-content{max-width:calc(var(--max-width) - 5em);align-self:flex-start;border-radius:16px;padding-inline:1rem;padding-block-start:.6em;padding-block-end:.2em;overflow:hidden;font-size:.89rem;color:inherit}.dialogue-left .dialogue-box-content{background-color:var(--purple-a3)}.dialogue-right .dialogue-box-content{background-color:var(--purple-a5)}.dialogue-box-container[data-astro-cid-avywk664]{display:flex;flex-direction:column}.callout[data-astro-cid-mrmim4ef]{margin-block-end:1.4em;font-size:.89rem;max-width:min(92%,63ch);padding:.2em 1em;border-radius:.8rem;border:1px solid var(--purple-a5);margin-inline-start:auto;margin-inline-end:auto}div[data-astro-cid-mrmim4ef]>div[data-astro-cid-mrmim4ef]:not(.callout-content){display:flex;align-items:center;justify-content:center;font-weight:700;margin-block-start:.2rem;margin-block-end:.2rem;font-size:15pt;padding:0;margin:0}.callout-content[data-astro-cid-mrmim4ef]{margin:0;padding:0;margin-top:-3rem}.callout-Exercise[data-astro-cid-mrmim4ef]{background-color:var(--purple-a4)}.callout-Tip[data-astro-cid-mrmim4ef]{background-color:var(--purple-a2)}figure[data-astro-cid-bj3fsypb]{border:solid var(--purple-a5);display:flex;flex-flow:column;self-align:center;padding:5px;margin:auto;max-width:120%;width:120%;transition:.5s border;border-radius:5px}figcaption[data-astro-cid-bj3fsypb]{padding-top:.5em;font-size:15pt;background-color:var(--purple-a2);width:100%;display:flex;justify-content:center}figcaption[data-astro-cid-bj3fsypb]>b[data-astro-cid-bj3fsypb]{font-weight:600}figure[data-astro-cid-bj3fsypb]>div[data-astro-cid-bj3fsypb]{width:100%;max-width:100%}figure[data-astro-cid-bj3fsypb]>pre[data-astro-cid-bj3fsypb]{width:100%;max-width:100%}figure[data-astro-cid-bj3fsypb]:hover{border:solid var(--purple-9);transition:.5s border}:is(.dark)[data-astro-cid-bj3fsypb] figure[data-astro-cid-bj3fsypb]:hover{border:solid var(--purple-5);transition:.5s border}div[data-astro-cid-enelrze6]{width:100%;max-width:100%}