Code editor

Highlighted, editable code with wrap and copy controls.

Loading the interactive workbench…