.codemirror-large-font[data-v-bb3f2de3]{font-size:15px!important}.inverted-logo[data-v-bb3f2de3]{filter:invert(1)}