/*! Generated by Font Squirrel (https://www.fontsquirrel.com) on September 25, 2019 */



@font-face {
    font-family: 'after_johnstonregular';
    src: url('/fonts/afterjohnston-webfont.woff2') format('woff2'),
         url('/fonts/afterjohnston-webfont.woff') format('woff');
    font-weight: normal;
    font-style: normal;

}

html * {
    font-family: 'after_johnstonregular';
}

.diagram {
    font-family: monospace !important;
    background-color: blue;
}