@font-face{font-family:Inter Tight;src:url(/fonts/InterTight-Variable.woff2) format("woff2-variations");font-weight:100 900;font-style:normal;font-display:swap}@font-face{font-family:DM Mono;src:url(/fonts/DMMono-Regular.woff2) format("woff2");font-weight:400;font-style:normal;font-display:swap}html{scroll-padding-top:64px}body{margin:0;font-family:Inter Tight,system-ui,sans-serif;-webkit-font-smoothing:antialiased}