Make JavaScript editor work
comment out extra formatting for now (left margin looks too wide).