TextEdit Google-ified

The Google theme has been finished and the CodeMirror text editor is
working beautifully.