*{box-sizing:border-box}body{margin:0;background:#f6f4ef;color:#202c30;font:18px/1.7 Georgia,serif}main{max-width:980px;margin:auto;padding:32px 40px 80px}nav{font:14px/1.6 system-ui,sans-serif;border-bottom:1px solid #c9d3d3;padding:0 0 18px;margin-bottom:30px}a{color:#125f70;text-underline-offset:3px}h1,h2,h3{line-height:1.22;color:#143941}h1{font-size:2.1em;margin:0 0 24px}h2{font-size:1.45em;border-top:1px solid #c9d3d3;padding-top:25px;margin-top:40px}p{margin:1em 0}article{overflow-wrap:anywhere;min-width:0}ul,ol{padding-left:1.5em}li{margin:.35em 0}table{border-collapse:collapse;width:100%;font-size:.9em}td,th{padding:10px;border:1px solid #bfcaca;text-align:left}th{background:#e4ece9}mjx-container[display="true"]{display:block;overflow-x:auto;overflow-y:hidden;max-width:100%;padding:8px 2px}code{font-size:.9em}footer{font:13px system-ui,sans-serif;color:#536365;margin-top:40px}@media(max-width:600px){body{font-size:16px}main{padding:20px 18px 50px}h1{font-size:1.7em}h2{font-size:1.3em}table{display:block;overflow-x:auto;max-width:100%}}.math{display:inline-block;max-width:100%;overflow-x:auto;overflow-y:hidden;vertical-align:middle}.math.math-display{display:block}article a[id]{scroll-margin-top:20px}