.bib-def{margin-top:.5rem;font-size:.75rem;display:flex}.bib-def-id{flex-shrink:0;width:6rem}@counter-style parenthesized-lower-latin{font-size: 8px;
  system: fixed;
  symbols: "(a)" "(b)" "(c)" "(d)" "(e)" "(f)" "(g)" "(h)" "(i)" "(j)" "(k)" "(l)" "(m)" "(n)" "(o)" "(p)" "(q)" "(r)"
    "(s)" "(t)" "(u)" "(v)" "(w)" "(x)" "(y)" "(z)";
  suffix: " ";
  fallback: lower-alpha;
}.desc-card ol{list-style:parenthesized-lower-latin}.desc-card li{margin-left:2rem}.baren{margin-right:.5rem}.card>.desc-card-header:first-child{font-size:.88rem;text-align:center;line-height:1}.desc-card .desc-card-header+*{margin-top:.75rem}.desc-card+.desc-card{margin-top:2rem}.amath .katex-display{margin:1rem 0 0}.amath+p,.image-container+p,.desc-card,.desc-card+p,.statement,.statement+p,.statement p{margin-top:1rem}p:empty{display:none}.image-container{display:flex;flex-wrap:wrap;justify-content:space-around;align-items:baseline}.image-container:has(>figure){margin-top:-1rem}.image-container>figure{margin-top:2em;display:inline-block}.image-container>.amath-text{align-self:center}.amath-container{display:flex;flex-wrap:wrap;justify-content:space-around;align-items:center}.proof-header{border:1px solid #e1e1e1;box-shadow:0 0 2.5px gray;padding:3px 6px;margin-right:5px;border-radius:5px}.statement{padding-left:2rem;padding-right:2rem}.statement>.center{margin-top:1rem;text-align:left}.statement>.center>p:first-child{margin-top:0}.proof-end-line{text-align:right}.filler{height:50vh;display:flex;align-items:center;justify-content:center;background:var(--shaded-background-color)}.inline-image{display:inline-block}.inline-image img{vertical-align:middle}.amath-text{text-align:center;margin-top:1rem}.amath-text-bottom{text-align:center}.amath-text-bottom img{vertical-align:bottom}.katex .vlist-t2>.vlist-r:nth-child(2)>.vlist{pointer-events:none}ul#sakuin{font-size:88%;columns:2}ul#sakuin>li>span{margin-right:10px}ul#sakuin>li>a{margin-right:10px}.proof-end+*,.desc-card.exercise+*{margin-top:2rem}