@import url("https://fonts.googleapis.com/css2?family=JetBrains+Mono:wght@400;500;600;700&family=Instrument+Serif:ital@0;1&display=swap");*{box-sizing:border-box}html{scroll-behavior:smooth}body,html{margin:0;padding:0}body{font-family:JetBrains Mono,ui-monospace,SFMono-Regular,Menlo,monospace;-webkit-font-smoothing:antialiased}