@font-face{font-family:Departure Mono;src:url(/fonts/DepartureMono-Regular.woff2) format("woff2");font-weight:400;font-style:normal;font-display:swap}body,html{padding:0;margin:0;font-family:Departure Mono,monospace;font-size:14px;line-height:20px;background:#1a1a1a;color:#d4d4d4;overflow-x:hidden}pre a:hover span{color:#9fc5e8!important}