@font-face {
        font-family: IBMPlexMono;
        src: url(/fonts/IBMPlexMono.ttf);
        font-weight: normal;
        font-style: normal;
}

@font-face {
        font-family: SofiaSans;
        src: url(/fonts/SofiaSans.ttf);
        font-weight: normal;
        font-style: normal;
}

@font-face {
        font-family: Roboto;
        src: url(/fonts/Roboto.ttf);
        font-weight: 100;
        font-style: normal;
}

body    {
        font-family: Roboto, SofiaSans, Arial, Verdana, sans-serif;
        font-size: 16pt;
        }

code    {
        font-family: IBMPlexMono, Terminus, Monaco, monospace;
        font-weight: 100;
        }