terminal_input.js:  Added a quick fix for Firefox where it would de-select text immediately after highlighting it.
Themes:  A quick fix for text wrapping in terminals.