*{box-sizing:border-box}html,body,#app{min-height:100%}body{margin:0}.cm-content,.cm-gutters{font-size:13px}@media (width<=767px){.cm-content,.cm-gutters{font-size:14px}}