@import url("https://fonts.googleapis.com/css2?family=Instrument+Serif:ital@0;1&family=Inter:wght@400;500;600;700;800&family=JetBrains+Mono:wght@500;600;700&display=swap");:root{--paper:#FAF8F5;--ink:#0F1115;--line:#E8E4DE;--line-strong:#D9D1C7;--yellow:#FFD60A;--green:#0A7A3B}*{box-sizing:border-box}html{scroll-behavior:smooth}body{margin:0;background:var(--paper);color:var(--ink);font-family:Inter,system-ui,sans-serif;-webkit-font-smoothing:antialiased}a{color:inherit}::selection{background:var(--yellow)}:focus-visible{outline:2px solid var(--ink);outline-offset:2px}