@font-face{font-family:Martian Mono;src:url(../../../MartianMono-VariableFont_wdth,wght.ttf) format("truetype");font-weight:100 900;font-stretch:75% 125%;font-style:normal;font-display:swap}:root{font-family:Martian Mono,monospace}html,body{margin:0;padding:0;background-color:var(--theme-bg);color:var(--theme-text);transition:background-color .2s ease,color .2s ease}