demo: source file page, using CodeMirror
code format by JSHint