@font-face {
    font-family: 'BigBlueTerminal';
    src: url('BigBlueTerminal/BigBlueTerm437NerdFont-Regular.ttf') format('truetype');
}