@import url(https://fonts.googleapis.com/css2?family=Roboto+Mono&display=swap);html{height:100%;scroll-behavior:auto}body{height:100vh;margin:0;padding:0}main{height:100%;overflow:hidden}body{font-family:Roboto Mono,monospace}