New CSS & HTML editor

We've made a bunch of updates and improvements to Cargo's in-browser code editor, including enhanced legibility; code hinting; line numbers, better colors; tab indentation, and more. We've also updated and cleaned up all default CSS files.