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