*{box-sizing:border-box}body{margin:0;background:#f6f7fa;color:#1e293b;font:17px/1.7 Georgia,serif}header,main,footer{max-width:1050px;margin:auto;padding:26px 36px}header{font:16px/1.5 system-ui,sans-serif;border-bottom:1px solid #dbe2ea}header nav{display:flex;flex-wrap:wrap;gap:20px}a{color:#1a5d89;text-underline-offset:3px}main{background:white;overflow-wrap:anywhere}h1,h2,h3{font-family:system-ui,sans-serif;line-height:1.3}h1{font-size:32px}h2{margin-top:2em}p{margin:1em 0}.edition,footer{font:14px/1.6 system-ui,sans-serif;color:#53647a}.downloads{display:flex;flex-wrap:wrap;gap:20px;margin:20px 0}pre{white-space:pre-wrap;overflow-wrap:anywhere;font:14px/1.6 monospace;background:#f5f7fa;padding:20px}table{display:block;overflow-x:auto;border-collapse:collapse;width:100%;font:15px/1.5 system-ui,sans-serif}td,th{padding:10px;border:1px solid #dbe2ea;text-align:left}blockquote{border-left:3px solid #a4bdcc;padding-left:20px;margin-left:0}.katex-display{overflow-x:auto;overflow-y:hidden;padding:6px 0}img{max-width:100%;height:auto}.records{list-style:none;padding:0}.records li{padding:10px 0;border-bottom:1px solid #e2e8f0}.records small{display:block;color:#53647a}details{margin-top:30px}code{overflow-wrap:anywhere}.research-foundations{background:#eef3f6;border:1px solid #d8e2e8;border-radius:6px;padding:20px;margin:24px 0;font:16px/1.6 system-ui,sans-serif}.research-foundations h2,.published-counterpart h2{margin:0;font-size:22px}.research-foundations nav,.published-counterpart>div{display:flex;flex-wrap:wrap;gap:10px 24px}.foundation-edition-note{font-size:14px;color:#53647a}.published-counterpart{border-top:1px solid #d8e2e8;margin:24px 0;padding-top:20px;font:14px/1.6 system-ui,sans-serif}.published-counterpart h2{font-size:16px}@media(max-width:600px){header,main,footer{padding:20px}h1{font-size:26px}}