:root { color-scheme: dark; }
* { box-sizing: border-box; }
body { margin: 0; background: #111519; color: #dce2e6; font: 16px/1.7 system-ui, -apple-system, sans-serif; }
main { max-width: 880px; margin: auto; padding: 28px 24px 72px; }
nav { display: flex; justify-content: space-between; gap: 20px; margin-bottom: 34px; font-size: 13px; }
a { color: #a8d3e8; text-underline-offset: 3px; overflow-wrap: anywhere; }
a:hover { color: #fff; }
a:focus-visible { outline: 2px solid #96d9d1; outline-offset: 4px; }
nav a { text-decoration: none; }
h1, h2, h3, h4 { line-height: 1.3; scroll-margin-top: 20px; }
h1 { font-size: clamp(25px, 4vw, 34px); font-weight: 550; letter-spacing: -.025em; margin: 0 0 26px; }
h2 { margin-top: 36px; font-size: 24px; font-weight: 550; }
h3 { margin-top: 28px; font-size: 19px; }
p, ul, ol { margin: 16px 0; }
li { margin: 5px 0; }
blockquote { margin: 22px 0; padding: 2px 18px; border-left: 2px solid #516574; color: #b2c1cb; }
pre { background: #191f26; border: 1px solid #303b46; padding: 16px; overflow-x: auto; border-radius: 4px; line-height: 1.55; }
code { font: .86em/1.55 ui-monospace, SFMono-Regular, Consolas, monospace; }
code.language-geom, code.language-recipe { white-space: pre-wrap; overflow-wrap: anywhere; }
.syntax-keyword { color: #d9b5ff; font-weight: 600; }
.syntax-function { color: #91dbe8; }
.syntax-type { color: #ffa8b8; font-weight: 600; }
.syntax-constant { color: #a6c1ff; }
.syntax-number { color: #ffd18c; }
.syntax-comment { color: #a6b29d; font-style: italic; }
:not(pre) > code { background: #232c35; padding: 2px 4px; border-radius: 3px; overflow-wrap: anywhere; }
table { display: block; width: 100%; overflow-x: auto; border-collapse: collapse; margin: 22px 0; font-size: 14px; }
th, td { padding: 10px 12px; border: 1px solid #3b4854; text-align: left; vertical-align: top; }
th { background: #1b242c; }
img { max-width: 100%; height: auto; }
hr { border: 0; border-top: 1px solid #3b4854; margin: 30px 0; }
.math.block, .math.inline:has(mjx-container[display="true"]) { overflow-x: auto; max-width: 100%; }
@media (max-width: 550px) { main { padding: 22px 16px 48px; } body { font-size: 15px; } }