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