Twitter Bootstrap
Customize base font size via Boostrap variable
Refresh CodeMirror when toggling auto-resize