.pad-left{padding-left:4px}.pad-right{padding-right:4px}@font-face{font-family:Rubik;src:url(fonts/Rubik-VariableFont_wght.ttf)}@font-face{font-family:"Victor Mono";src:url(fonts/VictorMono-VariableFont_wght.ttf)}@font-face{font-family:"JetBrains Mono";src:url(fonts/JetBrainsMono-VariableFont_wght.ttf)}@font-face{font-family:"Reddit Mono";src:url(fonts/RedditMono-VariableFont_wght.ttf)}@font-face{font-family:MariaMono;src:url(fonts/MarianinaFY-RegMono2.otf)}