Add syntax highlighting.

Source code areas now show proper syntax highlighting. Removed textareas
and replaced with pre tags. Modified JS that shows/hides elements
accordingly.