@font-face{font-family:Coolvetica;src:url(/static/media/coolvetica.3d81d0e1fdbd5f69b232.otf)}.CodeMirror{height:auto;overflow:hidden}
/*# sourceMappingURL=main.c1de861a.css.map*/