enlarged body font-size to 11pt
add th font styling, to get rid of that tahoma crap
add codemirror theme based on midnight, with desaturated tones.
Merge branch 'gh-pages' of github.com:jasonm23/jenkins-css-themes into gh-pages