@font-face{font-family:"BerkeleyMono";src:url("fonts/TX-02-Regular.woff2") format("woff2");font-weight:normal;font-style:normal}@font-face{font-family:"BerkeleyMono";src:url("fonts/TX-02-Bold.woff2") format("woff2");font-weight:bold;font-style:normal}@font-face{font-family:"BerkeleyMono";src:url("fonts/TX-02-Oblique.woff2") format("woff2");font-weight:normal;font-style:oblique}@font-face{font-family:"BerkeleyMono";src:url("fonts/TX-02-Bold-Oblique.woff2") format("woff2");font-weight:bold;font-style:oblique}@font-face{font-family:"NerdFontsSymbolsMono";src:url("fonts/SymbolsNerdFontMono-Regular.woff2") format("woff2");font-weight:normal;font-style:normal}.nf,.nerd-font,.nerd-fonts{font-family:"NerdFontsSymbolsMono";font-style:normal;font-weight:normal;font-variant:normal;text-transform:none;line-height:1;-webkit-font-smoothing:antialiased;-moz-osx-font-smoothing:grayscale}