.theorem-callout{border-top:none;border-bottom:none;border-right:none;border-radius:0;box-shadow:none;padding:0;font-family:CMU Serif,Times,Noto Serif JP}.theorem-callout-theorem{--callout-color-thm:238,15,149;border-left:var(--size-2-2) solid rgb(var(--callout-color-thm))}.theorem-callout-claim{--callout-color-thm:238,15,149;border-left:var(--size-2-2) solid rgb(var(--callout-color-thm))}.theorem-callout-proposition{--callout-color-thm:238,15,149;border-left:var(--size-2-2) solid rgb(var(--callout-color-thm))}.theorem-callout-lemma{--callout-color-lem:255,105,180;border-left:var(--size-2-2) solid rgb(var(--callout-color-lem))}.theorem-callout-corollary{--callout-color-thm:238,15,149;border-left:var(--size-2-2) solid rgb(var(--callout-color-thm))}.theorem-callout-assumption{--callout-color-thm:238,15,149;border-left:var(--size-2-2) solid rgb(var(--callout-color-thm))}.theorem-callout-example{--callout-color-eg:15,238,74;border-left:var(--size-2-2) solid rgb(var(--callout-color-eg))}.theorem-callout-exercise{--callout-color-eg:15,238,74;border-left:var(--size-2-2) solid rgb(var(--callout-color-eg))}.theorem-callout-definition{--callout-color-def:15,148,238;border-left:var(--size-2-2) solid rgb(var(--callout-color-def))}.theorem-callout-axiom{--callout-color-def:15,148,238;border-left:var(--size-2-2) solid rgb(var(--callout-color-def))}.theorem-callout-conjecture{--callout-color-conj:238,223,15;border-left:var(--size-2-2) solid rgb(var(--callout-color-conj))}.theorem-callout-hypothesis{--callout-color-conj:238,223,15;border-left:var(--size-2-2) solid rgb(var(--callout-color-conj))}.theorem-callout-ques{--callout-color-ques:138,43,226;border-left:var(--size-2-2) solid rgb(var(--callout-color-ques))}.theorem-callout-remark{--callout-color-conj:238,223,15;border-left:var(--size-2-2) solid rgb(var(--callout-color-conj))}.theorem-callout-observation{--callout-color-obs:138,43,226;border-left:var(--size-2-2) solid rgb(var(--callout-color-obs))}.theorem-callout .callout-title{padding:var(--size-2-3);padding-left:var(--size-4-3)}.theorem-callout .callout-icon{display:none}.theorem-callout-theorem .callout-title-inner{font-family:Inter;font-weight:400;color:rgb(var(--callout-color-thm))}.theorem-callout-lemma .callout-title-inner{font-family:Inter;font-weight:400;color:rgb(var(--callout-color-thm))}.theorem-callout-proposition .callout-title-inner{font-family:Inter;font-weight:400;color:rgb(var(--callout-color-thm))}.theorem-callout-corollary .callout-title-inner{font-family:Inter;font-weight:400;color:rgb(var(--callout-color-thm))}.theorem-callout-claim .callout-title-inner{font-family:Inter;font-weight:400;color:rgb(var(--callout-color-thm))}.theorem-callout-assumption .callout-title-inner{font-family:Inter;font-weight:400;color:rgb(var(--callout-color-thm))}.theorem-callout-example .callout-title-inner{font-family:Inter;font-weight:400;color:rgb(var(--callout-color-eg))}.theorem-callout-exercise .callout-title-inner{font-family:Inter;font-weight:400;color:rgb(var(--callout-color-eg))}.theorem-callout-definition .callout-title-inner{font-family:Inter;font-weight:400;color:rgb(var(--callout-color-def))}.theorem-callout-axiom .callout-title-inner{font-family:Inter;font-weight:400;color:rgb(var(--callout-color-def))}.theorem-callout-conjecture .callout-title-inner{font-family:Inter;font-weight:400;color:rgb(var(--callout-color-conj))}.theorem-callout-hypothesis .callout-title-inner{font-family:Inter;font-weight:400;color:rgb(var(--callout-color-conj))}.theorem-callout-ques .callout-title-inner{font-family:Inter;font-weight:400;color:rgb(var(--callout-color-ques))}.theorem-callout-remark .callout-title-inner{font-family:Inter;font-weight:400;color:rgb(var(--callout-color-conj))}.theorem-callout-observation .callout-title-inner{font-family:Inter;font-weight:400;color:rgb(var(--callout-color-obs))}.theorem-callout-subtitle{font-weight:lighter}.theorem-callout .callout-content{background-color:var(--background-primary);padding:1px 20px 2px 20px}img[alt*=center]{display:block;margin-left:auto;margin-right:auto}img[alt*=right]{float:right;clear:right;margin-left:1rem;margin-bottom:2px;margin-top:2px}