.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}