html,body{height:100%}body{margin:0;font-family:JetBrains Mono,monospace,Helvetica Neue,sans-serif}