@import url("_style.css");
@import url("https://fonts.googleapis.com/css2?family=Space+Grotesk:wght@600;700&family=IBM+Plex+Sans:wght@400;500;600&family=IBM+Plex+Mono:wght@500;600&display=swap");

html{scroll-behavior:smooth}
body{min-height:100vh}
body>main{width:min(100% - 32px,760px);margin:0 auto;padding:24px 0 80px}
body>main>nav{display:flex;flex-wrap:wrap;gap:8px 14px;align-items:center;margin-bottom:30px;padding:12px 0 16px;border-bottom:1px solid var(--line);font-size:.92rem}
article{display:block}
article h1{font-size:clamp(1.8rem,5vw,2.5rem)}
article h2{margin-top:1.8em}
article h3{margin-top:1.5em}
article p,article ul,article ol{max-width:68ch}
.article-direct-link{display:none}
footer.page{margin-top:42px;padding-top:18px;border-top:1px solid var(--line);color:var(--muted);font-size:.86rem}
@media (max-width:600px){body>main{width:min(100% - 28px,760px);padding-top:16px}body>main>nav{margin-bottom:22px}article h1{font-size:1.75rem}}