.desc-card-header-text,.proof-header,.problem-kind,.problem-header,.fact{font-weight:700;text-decoration:underline}.desc-card-center>.desc-card-header{text-align:center}.desc-card-center>.desc-card-header+*{margin-top:1rem}.desc-card-header-text+span{margin-left:.35rem}:not(.desc-card-center)>.desc-card-header+*:not(.amath,ul,ol){display:inline;margin-left:.5rem}.desc-card-header+:is(ul,ol){display:block;margin:0;margin-top:.5rem}.bib-def,.atext,.atext-n,.case,.cases,.problem-kind,.case p,:is(.atext,.atext-n,.cases,.framed,.desc-card,.inline-header)+p,.problem-kind+.problem>.problem-header,p:first-child+p:has(>.hint:first-of-type),.desc-card-header+.amath{margin-top:1rem}.bib-def{font-size:.88rem;line-height:1.4;display:flex}.bib-def-number{margin-right:1rem}.proof-header{padding-right:.5rem}.proof-header a{color:#000}.inline-header{color:var(--theme-color);font-weight:700;margin-top:1.5rem;font-size:110%;border:none;border-left:solid 10px;padding:2px .5rem 1px}.inline-header.problems-for{margin-top:3rem}.atext,.atext-n,.amath-n .katex-display>.katex>.katex-html{display:flex;flex-wrap:nowrap;justify-content:space-between}.atext,.atext-n{align-items:center;width:100%}.amath-n .katex-display>.katex>.katex-html{position:static;align-items:baseline}.atext:not(.atext-n)::before,.atext:not(.atext-n)::after,.atext-n::before,.amath-n .katex-display>.katex>.katex-html::before{content:"";display:block}.atext:not(.atext-n)::before,.atext:not(.atext-n)::after,.atext-n::before,.atext-tag,.amath-n .katex-display>.katex>.katex-html::before,.amath-n .katex-display>.katex>.katex-html>.tag{flex:1}.amath-n .base{flex-grow:0;flex-shrink:0}.atext:not(.atext-n)::before,.atext:not(.atext-n)::after,.atext-n::before,.atext-tag,.amath-n .katex-display>.katex>.katex-html::before,.amath-n .katex-display>.katex>.katex-html>.tag{min-width:3.25rem}.atext-tag,.amath-n .katex-display>.katex>.katex-html>.tag{position:static;white-space:nowrap;text-align:right}.atext-tag>span{padding-left:1rem}.amath-n .katex-display>.katex>.katex-html>.tag{min-width:5rem}.amath+.amath{margin-top:.5rem}.atext-content>*:first-child{margin-top:0}.qed,.qed-pull{float:right}p:has(>:is(.qed,.qed-pull))::after{content:"";display:block;clear:both}p:has(>.qed-pull){margin-top:0}.case{display:flex;flex-wrap:nowrap}.case *:first-child{margin-top:0}.case-header{white-space:nowrap;margin-left:1.5rem}.case-desc{margin-right:.5rem}.case-body{margin-left:.5rem}.problem-body>p:first-child{margin-top:.5rem}.problem-body :is(ul,ol) .amath,.problem-body :is(ul,ol) .amath+p{margin-top:1rem}.problems-for+.problem-kind,.problems-for+.problem>.problem-header{margin-top:1.25rem}.problem-header{color:var(--theme-color);font-size:110%;border:none;padding:0}.problem-kind,.problem-header{margin-top:3rem}@counter-style katex-number{system: fixed;
  symbols: "1" "2" "3" "4" "5" "6" "7" "8";
  fallback: decimal;
  suffix: ". ";
}ol.num{list-style:katex-number}ul.two{columns:2}@counter-style parenthesized-lower-latin{system: fixed;
  symbols: "(a)" "(b)" "(c)" "(d)" "(e)" "(f)" "(g)" "(h)" "(i)" "(j)" "(k)" "(l)" "(m)" "(n)" "(o)" "(p)";
  fallback: lower-alpha;
  suffix: " ";
}ol.alph{list-style:parenthesized-lower-latin}@counter-style parenthesized-lower-roman{system: fixed;
  symbols: "(i)" "(ii)" "(iii)" "(iv)" "(v)" "(vi)" "(vii)" "(viii)" "(ix)" "(x)" "(xi)" "(xii)";
  fallback: lower-roman;
  suffix: " ";
}ol.roman{list-style:parenthesized-lower-roman}:is(ol.alph,ol.roman,ol.num,ul.dot) li{margin-left:3rem}:is(ol.alph,ol.roman,ol.num,ul.dot) li li{margin-left:2rem}:is(ol.alph,ol.roman,ol.num) li::marker{font-size:1.1rem;font-family:KaTeX_Main,Times New Roman,serif}.hint{margin-right:.25rem}.image-container{width:100%;display:flex;flex-wrap:wrap;justify-content:space-evenly;align-items:baseline}.image-container:has(>figure){margin-top:-1rem}.image-container>figure{margin-top:2em;display:inline-block}.image-inline{margin:0;height:1.4em;width:1.4em;display:inline;vertical-align:text-bottom}li>.amath:only-child{margin-top:2rem}:not(.amath)+:not(li)>p:has(>.step-header){margin-top:2rem}.double-column{columns:2}.underline{text-decoration:underline}#sakuin{font-size:15px;columns:2}#sakuin li a{margin-left:4px}.textmd{font-weight:400}