educative.io by xichen-de

/* ==UserStyle==
@name         educative.io
@version      20220606.07.25
@namespace    userstyles.world/user/xichen-de
@description  Tweaks for educative.io
@author       xichen-de
@license      No License
==/UserStyle== */
@-moz-document domain("educative.io") {
    .byBkwm {
        font-family: Inter, Droid Serif, Georgia, serif;
    }

    .byBkwm strong {
        font-family: Inter, Droid Serif, Georgia, serif;
    }

    code,
    kbd,
    pre,
    samp {
        font-family: "Iosevka", "JetBrains Mono", "Iosevka Slab", Menlo, Monaco, Consolas, Courier New, monospace;
    }

    .monaco-editor.no-user-select .lines-content,
    .monaco-editor.no-user-select .view-line,
    .monaco-editor.no-user-select .view-lines {
        font-family: "Iosevka", "JetBrains Mono", "Iosevka Slab", Menlo, Monaco, "Courier New", monospace;
    }
}