#R-header-wrapper{background-image:linear-gradient(150deg,#0000ff 0%,#ffa500 100%)}:root{--MENU-HOME-BOTTOM-SEPARATOR-color:transparent}#R-sidebar:has(.mm-book-cover-logo) #R-header-wrapper{aspect-ratio:1/1;background-color:#000;background-image:linear-gradient(rgba(0,0,0,.4),rgba(0,0,0,.4)),var(--mm-book-cover-photo);background-size:cover,cover;background-position:50%,50%}.mm-book-cover-logo{display:block;width:100%;height:100%;text-decoration:none}#R-sidebar:has(.mm-site-logo) #R-header-wrapper{aspect-ratio:1/1;background-color:var(--INTERNAL-MENU-SECTIONS-BG-color);background-image:var(--mm-site-logo);background-size:cover;background-position:50%}.mm-site-logo{display:block;width:100%;height:100%;text-decoration:none}#R-homelinks{order:1;background-color:var(--INTERNAL-MENU-SECTIONS-BG-color)}:root{--MENU-HOME-LINK-color:var(--INTERNAL-MENU-SECTIONS-LINK-color);--MENU-HOME-LINK-HOVER-color:var(--INTERNAL-MENU-SECTIONS-LINK-HOVER-color)}#R-header-wrapper search{position:absolute;left:0;width:100%;bottom:53px}#R-content-wrapper{padding-bottom:53px}.mm-book-gallery{display:grid;grid-template-columns:repeat(auto-fill,minmax(11rem,14rem));gap:1.5rem;margin:1.5rem 0}.mm-book-gallery__card{display:flex;flex-direction:column;align-items:center;gap:1rem;text-decoration:none;background-color:#000;border-radius:8px;padding:1.25rem 1rem;box-shadow:0 2px 10px rgba(0,0,0,.25);transition:transform .15s ease,box-shadow .15s ease}.mm-book-gallery__card:hover{transform:translateY(-3px);box-shadow:0 6px 16px rgba(0,0,0,.3)}.mm-book-gallery__cover{display:block;width:100%;aspect-ratio:1/1;object-fit:cover;border-radius:6px}.mm-book-gallery__title{display:flex;flex-direction:column;align-items:center;color:#fff;font-weight:700;font-size:1.05rem;line-height:1.3;text-align:center}article.chapter ol ol{font-size:.875rem}article.chapter h2:has(+hr){margin-bottom:0}article.chapter h2+hr{margin-top:.5rem}.asymptote-figure{margin:2rem auto;max-width:100%;text-align:center}.asymptote-figure img{display:block;margin:0 auto;max-width:100%;height:auto;background:#fff;padding:.5rem;border-radius:4px}.asymptote-figure figcaption{margin-top:.75rem;text-align:left;font-size:.9rem;line-height:1.5;color:var(--MAIN-TEXT-color)}.asymptote-figure__title{font-weight:700}.asymptote-figure figcaption p{display:inline;margin:0}.asymptote-figure__source{margin-top:.75rem;text-align:left}.asymptote-figure__source>summary{cursor:pointer;font-size:.85rem;user-select:none;color:var(--INTERNAL-MAIN-LINK-color,var(--PRIMARY-color))}.asymptote-figure__source>summary:hover{color:var(--INTERNAL-MAIN-LINK-HOVER-color,var(--INTERNAL-MAIN-LINK-color));text-decoration:underline}mjx-container[display=true]{overflow-x:auto;overflow-y:hidden;padding:.25rem 0;scrollbar-width:none}mjx-container[display=true]::-webkit-scrollbar{display:none}.mm-notice__body mjx-container[display=true]{font-size:95%!important}.mm-scrollbar{display:none;position:relative;height:6px;margin:0 0 .5rem;border-radius:3px;background:rgba(128,128,128,.25);cursor:grab}.mm-scrollbar--active{display:block}.mm-scrollbar--dragging{cursor:grabbing}.mm-scrollbar__thumb{position:absolute;inset:0 auto 0 0;min-width:2rem;border-radius:3px;background:var(--INTERNAL-PRIMARY-color)}.mm-scrollbar__thumb:hover,.mm-scrollbar--dragging .mm-scrollbar__thumb{background:var(--INTERNAL-PRIMARY-HOVER-color,var(--INTERNAL-PRIMARY-color))}article.chapter table th,article.chapter table td{text-align:center;vertical-align:top}article.chapter table thead{display:none}.statement{--statement-accent:var(--PRIMARY-color);margin:1.5rem 0;padding:.75rem 1rem;border-left:4px solid var(--statement-accent);border-radius:0 2px 2px 0;background:rgba(127,127,127,6%)}.statement--example,.statement--exercise,.statement--notation,.statement--remark{--statement-accent:var(--SECONDARY-color)}.statement__heading{font-weight:700;margin-bottom:.35rem;color:var(--statement-accent)}.statement__name{font-weight:400;font-style:italic}.statement>*:last-child{margin-bottom:0}.statement--proof{--statement-accent:var(--MAIN-TEXT-color);border-left-style:dashed;background:0 0}.statement--proof .statement__heading{font-style:italic}.statement--proof::after{content:'\25A1';display:block;text-align:right;line-height:1}.mm-notice{--mm-notice-accent:var(--PRIMARY-color);--mm-notice-accent-text:#ffffff;--mm-notice-tint:rgba(127, 127, 127, 0.08);margin:1.5rem 0;border-radius:6px;overflow:hidden;border:1px solid var(--mm-notice-accent)}.mm-notice__title{padding:.5rem .9rem;font-weight:700;background:var(--mm-notice-accent);color:var(--mm-notice-accent-text)}.mm-notice__body{padding:.9rem 1rem;background:var(--mm-notice-tint)}.mm-notice__body>*:last-child{margin-bottom:0}.mm-notice--collapsible>.mm-notice__title{cursor:pointer;user-select:none;list-style:none}.mm-notice--collapsible>.mm-notice__title::-webkit-details-marker{display:none}.mm-notice__chevron{display:inline-block;margin-right:.4em;transition:transform .15s ease}.mm-notice--collapsible[open]>.mm-notice__title>.mm-notice__chevron{transform:rotate(90deg)}.mm-notice--definition{--mm-notice-accent:#29b6f6;--mm-notice-accent-text:#ffffff;--mm-notice-tint:rgba(41, 182, 246, 0.08)}.mm-notice--theorem{--mm-notice-accent:#c2185b;--mm-notice-accent-text:#ffffff;--mm-notice-tint:rgba(194, 24, 91, 0.08)}.mm-notice--example{--mm-notice-accent:#43a047;--mm-notice-accent-text:#ffffff;--mm-notice-tint:rgba(67, 160, 71, 0.08)}.mm-notice--star{--mm-notice-accent:#fbc02d;--mm-notice-accent-text:#3e2e00;--mm-notice-tint:rgba(251, 192, 45, 0.12)}.mm-notice--warning{--mm-notice-accent:#e53935;--mm-notice-accent-text:#ffffff;--mm-notice-tint:rgba(229, 57, 53, 0.08)}.mm-notice--question{--mm-notice-accent:#757575;--mm-notice-accent-text:#ffffff;--mm-notice-tint:rgba(117, 117, 117, 0.08)}@media(prefers-color-scheme:dark){:root:not([data-theme=light]) .mm-notice--definition{--mm-notice-tint:rgba(41, 182, 246, 0.16)}:root:not([data-theme=light]) .mm-notice--theorem{--mm-notice-tint:rgba(194, 24, 91, 0.16)}:root:not([data-theme=light]) .mm-notice--example{--mm-notice-tint:rgba(67, 160, 71, 0.16)}:root:not([data-theme=light]) .mm-notice--star{--mm-notice-tint:rgba(251, 192, 45, 0.2)}:root:not([data-theme=light]) .mm-notice--warning{--mm-notice-tint:rgba(229, 57, 53, 0.16)}:root:not([data-theme=light]) .mm-notice--question{--mm-notice-tint:rgba(117, 117, 117, 0.16)}}:root[data-theme=dark] .mm-notice--definition{--mm-notice-tint:rgba(41, 182, 246, 0.16)}:root[data-theme=dark] .mm-notice--theorem{--mm-notice-tint:rgba(194, 24, 91, 0.16)}:root[data-theme=dark] .mm-notice--example{--mm-notice-tint:rgba(67, 160, 71, 0.16)}:root[data-theme=dark] .mm-notice--star{--mm-notice-tint:rgba(251, 192, 45, 0.2)}:root[data-theme=dark] .mm-notice--warning{--mm-notice-tint:rgba(229, 57, 53, 0.16)}:root[data-theme=dark] .mm-notice--question{--mm-notice-tint:rgba(117, 117, 117, 0.16)}mark{background:0 0;color:#29b6f6;font-weight:600}@media(prefers-color-scheme:dark){:root:not([data-theme=light]) mark{color:#4fc3f7}}:root[data-theme=dark] mark{color:#4fc3f7}