Code Coloring enabled

This commit enables code coloring using codemirror and some other small
changes to the UI.