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