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