css fixes
Fix jquery not loaded on front end
Better codemirror theme support

Added monokai (temporarily the default )
reworked all styles to work with more codemirror themes