@font-face {
    font-family: 'ProtoMono-Regular';
    src: url('./ProtoMono-Regular-pro.woff2') format('woff2'),
         url('./ProtoMono-Regular-pro.woff') format('woff');
    font-display: swap;
}

body, p, div, span, a, button, ul, li, table, th, td, blockquote {
    font-family: 'ProtoMono-Regular', system-ui, -apple-system, "Segoe UI", Roboto, "Helvetica Neue", "Noto Sans", "Liberation Sans", Arial, sans-serif, "Apple Color Emoji", "Segoe UI Emoji", "Segoe UI Symbol", "Noto Color Emoji";
}

input:not([type="search"]), textarea, select {
    font-family: system-ui, -apple-system, "Segoe UI", Roboto, "Helvetica Neue", "Noto Sans", "Liberation Sans", Arial, sans-serif, "Apple Color Emoji", "Segoe UI Emoji", "Segoe UI Symbol", "Noto Color Emoji";
}