@font-face{font-family:Departure Mono;src:url(../../../fonts/departure-mono-propo.woff2) format("woff2");font-weight:400;font-style:normal;font-display:swap}*{box-sizing:border-box}[hidden]{display:none!important}