@import url("https://fonts.googleapis.com/css2?family=Martian+Mono:wght@100..800&family=Space+Grotesk:wght@300..700&display=swap");:root{--color-space:#0f1938;--color-key:#4e50ff;--color-key-light:#BCBDFF;--color-shift:#ff3038;--color-delete:#c0cdff;--color-escape:#eeeeee;--color-escape-light:#f5f5f5;--color-return:#171717;--color-black:#000000;--color-white:#ffffff}body{font-family:Space Grotesk;margin:0}a,h1,h2,h3,p{color:var(--color-escape)}h1{font-size:56px}h2{font-size:40px}h3{font-size:32px}a{text-decoration:none;transition:opacity .25s}html{background-color:var(--color-space);scroll-behavior:smooth}body{opacity:0;transition:opacity .6s ease}body.fade-start{opacity:1}a:hover{opacity:.7}a:focus{outline:none}a:focus-visible{outline:1px solid white}em{font-style:italic;font-weight:lighter}