JS and css so that codemirror works