#R-sidebar{background-image:linear-gradient(180deg,#0000ff 0%,#ffa500 100%);background-repeat:no-repeat;background-size:100% 180px}#R-header-wrapper,#R-homelinks{background:0 0}.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}.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}