.post-content .katex-display{overflow-x:auto;overflow-y:hidden;padding:.25em 0}.post-content .katex{font-size:1.08em}.post-content .boolean-proof-figure{margin:2em 0}.post-content .boolean-proof-figure img{display:block;width:100%;height:auto;border-radius:12px}.post-content .boolean-proof-figure figcaption{margin-top:.8em;font-size:.88em;font-weight:400;line-height:1.55;color:var(--secondary)}