body{-webkit-text-size-adjust:100%}nav a.current{color:var(--accent)!important;border-color:var(--accent)!important}main>p:first-child time{color:var(--text-light)}.icon{vertical-align:sub;padding-right:.25rem;display:inline-block;width:1em;height:1.3em;margin-right:.2rem;stroke-width:0;stroke:currentColor;fill:currentColor}@media only screen and (max-width:800px){#flex{flex-wrap:wrap}aside{width:100%}main{order:1}#leftSidebar{order:2}#rightSidebar{order:3}#navBar ul{flex-wrap:wrap}#buttonWall ul{flex-wrap:wrap}}@media only screen and (max-width:800px){#flex{flex-wrap:wrap}aside{width:100%}main{order:1}#leftSidebar{order:2}#rightSidebar{order:3}#navBar ul{flex-wrap:wrap}#buttonWall ul{flex-wrap:wrap}}@font-face{font-family:cmu serif;src:url(/fonts/cmunrm.woff2)format("woff2");font-weight:400;font-style:normal;font-display:swap}@font-face{font-family:cmu serif;src:url(/fonts/cmunbx.woff2)format("woff2");font-weight:700;font-style:normal;font-display:swap}@font-face{font-family:cmu serif;src:url(/fonts/cmunti.woff2)format("woff2");font-weight:400;font-style:italic;font-display:swap}@font-face{font-family:cmu serif;src:url(/fonts/cmunbi.woff2)format("woff2");font-weight:700;font-style:italic;font-display:swap}:root{--ctp-rosewater:245, 224, 220;--ctp-flamingo:242, 205, 205;--ctp-pink:245, 194, 231;--ctp-mauve:203, 166, 247;--ctp-red:243, 139, 168;--ctp-maroon:235, 160, 172;--ctp-peach:250, 179, 135;--ctp-yellow:249, 226, 175;--ctp-green:166, 227, 161;--ctp-teal:148, 226, 213;--ctp-sky:137, 220, 235;--ctp-sapphire:116, 199, 236;--ctp-blue:137, 180, 250;--ctp-lavender:180, 190, 254;--ctp-text:205, 214, 244;--ctp-subtext1:186, 194, 222;--ctp-overlay1:127, 132, 156;--ctp-overlay0:108, 112, 134;--ctp-surface0:49, 50, 68;--ctp-base:30, 30, 46;--callout-radius:4px;--icon-size:18px;--icon-stroke:1.75px;--serif-font:"CMU Serif", "Latin Modern Roman", "Times New Roman", Times, serif}content{display:block}.notes-index>p{text-align:center;color:var(--text-light)}.notes-filter{display:flex;flex-wrap:wrap;gap:.4rem;justify-content:center;margin:1rem 0 1.5rem}.notes-filter button{font:inherit;font-size:.9em;padding:.25rem .9rem;cursor:pointer;background:var(--accent-bg);color:var(--text);border:1px solid var(--border);border-radius:999px}.notes-filter button.active,.notes-filter button:hover{border-color:var(--accent);color:var(--accent)}.notes-group h3{margin:1.8rem 0 .8rem}.course-grid{display:grid;grid-template-columns:repeat(auto-fill,minmax(15rem,1fr));gap:.8rem}.course-card{display:flex;flex-direction:column;gap:.15rem;padding:.8rem 1rem;text-decoration:none;color:var(--text);border:1px solid var(--border);border-radius:var(--standard-border-radius);background:var(--accent-bg)}.course-card:hover{border-color:var(--accent)}.course-code{font-family:var(--mono-font);font-size:.8em;color:var(--accent)}.course-title{font-weight:600}.course-meta{font-size:.8em;color:var(--text-light)}.lecture-list li,.note-list li{margin:.25rem 0}.concept-list{columns:2;column-gap:2rem}@media(max-width:720px){.concept-list{columns:1}}.source-list,.note-sources{font-size:.9em;color:var(--text-light)}.note-sources h3{font-size:1em;margin-bottom:.3rem}.crumbs{font-size:.85em;color:var(--text-light);margin:0 0 .3rem}.kind{margin-left:.5rem;padding:.05rem .55rem;border-radius:999px;border:1px solid var(--border);font-size:.8em}.prev-next{display:flex;justify-content:space-between;align-items:center;gap:1rem;margin:2rem 0 .5rem;font-size:.9em}.prev-next a{text-decoration:none}.prev-next .up{color:var(--text-light);text-align:center}.prev-next .next{text-align:right}.callout{--callout-color:var(--ctp-blue);position:relative;overflow:hidden;margin:1em 0 40px;background-color:rgba(var(--callout-color),.1);border-radius:var(--callout-radius);border-left:6px solid rgb(var(--callout-color));padding:12px 12px 12px 24px;font-style:normal;color:var(--text)}li .callout,.callout .callout{margin-top:.6em;margin-bottom:1em}.callout-title{display:flex;align-items:flex-start;gap:4px;margin:0;padding:0;color:rgb(var(--callout-color));font-weight:600;line-height:1.3}.callout-title-inner{flex:auto}.callout-icon{display:flex;flex:none;align-self:center;color:rgb(var(--callout-color))}.callout-icon svg{width:var(--icon-size);height:var(--icon-size)}.callout-icon .lucide{fill:none;stroke:currentColor;stroke-width:var(--icon-stroke)}.callout-icon .svg-inline--fa{fill:currentColor;stroke:none}.callout-fold{display:flex;align-items:center;margin-left:auto;padding-right:8px;transition:transform .1s ease-in}.callout-fold svg{width:var(--icon-size);height:var(--icon-size);fill:none;stroke:currentColor;stroke-width:2px}details.callout:not([open]) .callout-fold{transform:rotate(-90deg)}details.callout{padding:12px 12px 12px 24px}details.callout>summary.callout-title{cursor:pointer;list-style:none;margin:0;padding:0;word-break:normal}details.callout>summary.callout-title::-webkit-details-marker{display:none}details.callout[open]>summary.callout-title{margin-bottom:0}details.callout[open]>summary+*{margin-top:0}.callout-content{overflow-x:auto;padding:0}.callout-content>:first-child{margin-top:.6rem}.callout-content>:last-child{margin-bottom:0}.callout-content p{margin:.5rem 0}.callout-content ul,.callout-content ol{margin:.3rem 0}.callout-content mjx-container[display=true]{margin:.6em 0}.callout[data-callout=note],.callout[data-callout=todo],.callout[data-callout=info]{--callout-color:var(--ctp-blue)}.callout[data-callout=abstract],.callout[data-callout=summary],.callout[data-callout=tldr]{--callout-color:var(--ctp-pink)}.callout[data-callout=tip],.callout[data-callout=hint]{--callout-color:var(--ctp-teal)}.callout[data-callout=important]{--callout-color:var(--ctp-peach)}.callout[data-callout=success],.callout[data-callout=check],.callout[data-callout=done]{--callout-color:var(--ctp-green)}.callout[data-callout=question],.callout[data-callout=help],.callout[data-callout=faq]{--callout-color:var(--ctp-peach)}.callout[data-callout=warning],.callout[data-callout=caution],.callout[data-callout=attention]{--callout-color:var(--ctp-yellow)}.callout[data-callout=failure],.callout[data-callout=fail],.callout[data-callout=missing],.callout[data-callout=danger],.callout[data-callout=error],.callout[data-callout=bug]{--callout-color:var(--ctp-red)}.callout[data-callout=example]{--callout-color:var(--ctp-green)}.callout[data-callout=quote],.callout[data-callout=cite],.callout[data-callout=comment]{--callout-color:var(--ctp-overlay1)}.callout[data-callout=definition]{--callout-color:var(--ctp-blue)}.callout[data-callout=theorem]{--callout-color:var(--ctp-mauve)}.callout[data-callout=proposition],.callout[data-callout=lemma]{--callout-color:var(--ctp-lavender)}.callout[data-callout=corollary]{--callout-color:var(--ctp-sapphire)}.callout[data-callout=axiom]{--callout-color:var(--ctp-sky)}.callout[data-callout=exercise]{--callout-color:var(--ctp-teal)}.callout[data-callout-metadata*=red]{--callout-color:var(--ctp-red)}.callout[data-callout-metadata*=orange]{--callout-color:var(--ctp-peach)}.callout[data-callout-metadata*=yellow]{--callout-color:var(--ctp-yellow)}.callout[data-callout-metadata*=green]{--callout-color:var(--ctp-green)}.callout[data-callout-metadata*=cyan]{--callout-color:var(--ctp-teal)}.callout[data-callout-metadata*=blue]{--callout-color:var(--ctp-blue)}.callout[data-callout-metadata*=purple]{--callout-color:var(--ctp-mauve)}.callout[data-callout-metadata*=pink]{--callout-color:var(--ctp-pink)}.callout[data-callout=even-columns]{padding:0;background:0 0;border:0;margin-bottom:0}.callout[data-callout=even-columns]>.callout-title{display:none}.callout[data-callout=even-columns]>.callout-content{display:grid;grid-template-columns:repeat(auto-fit,minmax(15rem,1fr));gap:12px}.theorem-callout{--callout-color:248, 248, 255;font-family:var(--serif-font);font-size:1.04em}.theorem-callout .callout-title-inner{padding-left:5px}.theorem-callout-subtitle{font-weight:400}.theorem-callout-en .callout-content{font-style:italic}.theorem-callout .callout-content code,.theorem-callout .callout-content pre{font-style:normal}.math-booster-begin-proof{padding-right:10px;font-family:var(--serif-font);font-weight:700}.math-booster-begin-proof-en{font-style:italic}.math-booster-end-proof{float:right}.note-body blockquote,.transclusion blockquote{margin:1rem 0;padding:5px 5px 5px 10px;border-inline-start:2px solid var(--accent);color:var(--text);font-style:normal}.note-body blockquote>:first-child{margin-top:0}.note-body blockquote>:last-child{margin-bottom:0}.note-body blockquote.proof{border-inline-start-color:rgb(var(--ctp-overlay0))}.math-block{scroll-margin-top:1rem}.block-anchor{display:inline-block;width:0;height:0}.note-body h2,.note-body h3,.note-body h4,.note-body h5,.note-body h6,.callout{scroll-margin-top:1rem}@keyframes blk-flash{0%{box-shadow:0 0 0 4px rgba(241,67,105,.75)}100%{box-shadow:0 0 0 4px rgba(241,67,105,0)}}.callout:target,.math-block:target,p:target,ul:target,ol:target,table:target,li:has(>.block-anchor:target),p:has(>.block-anchor:target),li:has(>p>.block-anchor:target){animation:blk-flash 1.6s ease-out 1;border-radius:var(--callout-radius)}.transclusion{position:relative;margin:.6rem 0 1rem;padding:.1rem 2rem .1rem .9rem;border-left:2px solid rgb(var(--ctp-overlay0))}.transclusion>:nth-child(2){margin-top:.4rem}.transclusion>:last-child{margin-bottom:.4rem}.transclusion-source{position:absolute;top:.35rem;right:.4rem;opacity:.45;line-height:0}.transclusion-source:hover{opacity:1}.transclusion-source svg{width:15px;height:15px}.transclusion.missing,.missing-media{color:var(--text-light);font-style:italic}.transclusion .transclusion{margin-right:0}a.internal-link::before{content:"";display:inline-block;width:.75em;height:.75em;margin-right:.18em;vertical-align:-.03em;background-color:currentColor;opacity:.65;-webkit-mask:url("data:image/svg+xml,%3Csvg xmlns='http://www.w3.org/2000/svg' viewBox='0 0 24 24' fill='none' stroke='black' stroke-width='2.2' stroke-linecap='round' stroke-linejoin='round'%3E%3Cpath d='M10 13a5 5 0 0 0 7.54.54l3-3a5 5 0 0 0-7.07-7.07l-1.72 1.71'/%3E%3Cpath d='M14 11a5 5 0 0 0-7.54-.54l-3 3a5 5 0 0 0 7.07 7.07l1.71-1.71'/%3E%3C/svg%3E")center/contain no-repeat;mask:url("data:image/svg+xml,%3Csvg xmlns='http://www.w3.org/2000/svg' viewBox='0 0 24 24' fill='none' stroke='black' stroke-width='2.2' stroke-linecap='round' stroke-linejoin='round'%3E%3Cpath d='M10 13a5 5 0 0 0 7.54.54l3-3a5 5 0 0 0-7.07-7.07l-1.72 1.71'/%3E%3Cpath d='M14 11a5 5 0 0 0-7.54-.54l-3 3a5 5 0 0 0 7.07 7.07l1.71-1.71'/%3E%3C/svg%3E")center/contain no-repeat}.transclusion-source::before{display:none}a.video-link{font-weight:600}.cite{font-style:normal}.cite-src{color:var(--text-light);font-size:.85em}.cite-embed,.cite-ref{color:var(--text-light);font-style:italic}.cite-quote q{quotes:"“" "”"}.zoomable a.zoom{display:block;margin:.6rem auto;text-align:center;text-decoration:none;border:0;line-height:0}.zoomable a.zoom:hover{border:0}.note-body img{display:block;margin-left:auto;margin-right:auto;width:auto;height:auto;max-width:min(550px,80%);max-height:300px;object-fit:contain;border:0;border-radius:0;outline:0;opacity:1;mix-blend-mode:screen;filter:opacity(1);cursor:zoom-in;transition:max-width .15s ease,max-height .15s ease}.note-body img:hover{width:100%;height:100%;max-width:min(100%,80vw);max-height:min(100%,80vh)}.note-body img[alt$=invert_B]{filter:invert(1)brightness(100%)saturate(3)}.note-body img[alt$=invert_B_C]{filter:invert(1)brightness(100%)saturate(0)hue-rotate(180deg)contrast(1.5)}.note-body td img{display:inline-block;max-width:100%}figure.excalidraw{margin:1rem 0;text-align:center}figure.excalidraw img{mix-blend-mode:normal;background:#1e1e2e;border-radius:8px;opacity:1;border:0}figure.excalidraw.missing{padding:1rem;border:1px dashed var(--border);border-radius:8px}.post-body img{cursor:zoom-in}.post-body a.zoom img{display:inline-block}.lightbox{position:fixed;inset:0;z-index:1000;background:rgba(0,0,0,.95);display:flex;align-items:center;justify-content:center;overflow:hidden;touch-action:none}.lightbox[hidden]{display:none}.lightbox figure{margin:0;display:flex;align-items:center;justify-content:center;width:100%;height:100%}.lightbox img{max-width:none;max-height:none;width:auto;height:auto;border:0;opacity:1;border-radius:0;transform-origin:center;will-change:transform;cursor:grab;user-select:none;-webkit-user-drag:none;mix-blend-mode:normal;background:0 0}.lightbox img:active{cursor:grabbing}.lightbox img.invert{filter:invert(1)brightness(100%)saturate(3)}.lightbox figcaption{position:fixed;left:0;right:0;bottom:1rem;text-align:center;color:#cdd6f4;font-size:.9em;pointer-events:none;text-shadow:0 1px 4px #000}.lightbox button{position:fixed;width:2.6rem;height:2.6rem;padding:0;font-size:1.6rem;line-height:1;cursor:pointer;background:rgba(30,30,46,.75);color:#cdd6f4;border:1px solid #45475a;border-radius:999px}.lightbox button:hover{border-color:#f14369;color:#f14369}.lb-close{top:1rem;right:1rem}.lb-prev{left:1rem;top:50%;transform:translateY(-50%)}.lb-next{right:1rem;top:50%;transform:translateY(-50%)}.lb-hint{position:fixed;top:1.2rem;left:50%;transform:translateX(-50%);color:#6c7086;font-size:.8em;pointer-events:none;white-space:nowrap}body.lightbox-open{overflow:hidden}@media(max-width:720px){.lb-hint{display:none}}.graph-panel{margin:2rem 0 1rem;border:1px solid var(--border);border-radius:var(--standard-border-radius);background:var(--accent-bg);overflow:hidden}.graph-head{display:flex;justify-content:space-between;align-items:center;gap:1rem;padding:.4rem .8rem;border-bottom:1px solid var(--border)}.graph-head h3{margin:0;font-size:1em}.graph-tools{display:flex;gap:.4rem;align-items:center;font-size:.85em}.graph-tools button{font:inherit;font-size:.85em;padding:.1rem .6rem;cursor:pointer;background:0 0;color:var(--text);border:1px solid var(--border);border-radius:999px}.graph-tools button.active,.graph-tools button:hover{border-color:var(--accent);color:var(--accent)}.graph-tools a{text-decoration:none}.graph-canvas{min-height:320px}.graph-canvas svg{display:block}.graph-global .graph-canvas{min-height:520px}.graph-page>p{text-align:center;color:var(--text-light)}.note-body table{display:block;overflow-x:auto;max-width:100%}.note-body mark{padding:0 .15em}.note-body .callout-content table{display:table}.notes-filter button,.notes-filter button:hover,.notes-filter button:focus,.notes-filter button.active,.graph-tools button,.graph-tools button:hover,.graph-tools button:focus,.graph-tools button.active{background-color:var(--accent-bg)!important;color:var(--text)!important}.notes-filter button.active,.notes-filter button:hover,.graph-tools button.active,.graph-tools button:hover{color:var(--accent)!important;border-color:var(--accent)!important}.pfp{width:28%;float:left;margin-right:20px;margin-top:5px}.footer-quote{margin-bottom:-10px}.footer-quote p{text-align:left;font-size:1.2em}@media(max-width:720px){.pfp{display:block;float:none;width:55%;max-width:240px;margin:0 auto 1rem}.footer-quote{margin-inline:.5rem}.footer-quote p{font-size:1em}}