Rework some styling, fixup the codemirror lib

* Rework how we're using bootstrap to avoid including unused css, and allow
	for overriding of variables.
* Fix up how we're setting up the codemirror editor to be closer to what
	we ultimately want, with some more robust handling.