no more CodeMirror anymore; gone be the related CSS
moved document specific CSS to documents
conslidated prettyprint stuff
more Bootstrap overrides moved higher up
removed unused styles
reordered imports in databases; consolidated .well