Navigation menu bugs fixed. Integrated CodeMirror for code highlights.