*{box-sizing:border-box}body{margin:0;background:#fafbf9;color:#172635;font:18px/1.65 system-ui,sans-serif}main{max-width:58rem;margin:2rem auto;padding:0 1.3rem}nav{font-size:.95rem;border-bottom:1px solid #ccd8df;padding-bottom:1rem}a{color:#075c89}h1{font-size:2.1rem;line-height:1.2}h2{font-size:1.5rem;line-height:1.3;margin-top:2.4rem}h3{font-size:1.15rem;margin-top:1.8rem}p,li{overflow-wrap:anywhere}article img{display:block;max-width:100%;height:auto;margin:1.3rem auto}.math{overflow-wrap:normal}.math:not(.math-display){display:inline-block;max-width:100%;overflow-x:auto;overflow-y:hidden;vertical-align:middle}.math-display{display:block;max-width:100%;overflow-x:auto;padding:.25rem 0;margin:1rem 0}mjx-container[display=true]{margin:.5rem 0!important}table{display:block;overflow-x:auto;border-collapse:collapse}th,td{padding:.6rem;border:1px solid #ccd8df}code{font-size:.9em}footer{margin:3rem 0 1rem;border-top:1px solid #ccd8df;padding-top:1rem;font-size:.95rem}@media(max-width:420px){body{font-size:16px}main{padding:0 .85rem}h1{font-size:1.7rem}}