draggable left-right separator allows resizing code or visualization

Includes jquery-ui-resizable. Note that a better permanent solution for the css changes and removal (anything with "inherit") would be to edit the .css files themselves.