html{scroll-behavior:smooth}body{font-family:Roboto Mono,monospace;font-optical-sizing:auto;font-style:normal;font-weight:500}