House style tweaks for codemirror docs