@import url('https://fonts.googleapis.com/css2?family=IBM+Plex+Mono:ital,wght@0,100;0,200;0,300;0,400;0,500;0,600;0,700;1,100;1,200;1,300;1,400;1,500;1,600;1,700&family=IBM+Plex+Serif:ital,wght@0,100;0,200;0,300;0,400;0,500;0,600;0,700;1,100;1,200;1,300;1,400;1,500;1,600;1,700&family=Noto+Serif+JP:wght@200..900&family=Noto+Serif+SC:wght@200..900&family=Noto+Serif+TC:wght@200..900&display=swap');

html, body {
    padding: 0;
    margin: 0;
}

html, body, #app, .v-application {
    overflow: auto !important;

    font-family: "IBM Plex Serif", "Noto Serif SC", "Noto Serif TC", "Noto Serif JP", serif;
    font-optical-sizing: auto;
    font-weight: 500;
    font-style: normal;
}

.font-mono, code, pre {
    font-family: "IBM Plex Mono", monospace !important;
    font-optical-sizing: auto;
    font-weight: 500;
    font-style: normal;
}