@import url("https://fonts.googleapis.com/css2?family=Red+Hat+Mono:wght@400;500&display=swap");#__next,body,html{padding:0;margin:0;font-family:Red Hat Mono,monospace;height:100%}a{color:inherit;text-decoration:none}*{box-sizing:border-box}