doc: correct derps & fix codemirror 'static, 'self
doc: patch in the new CSS