gateone.js:  Fixed a bug where CSS element IDs could end up with dots in them under certain circumstances.
app_terminal.py:  Worked around a bug (which I'll have to fix next) where multiple dependencies for JS/CSS files are not working properly.  I simply changed terminal.js to only be dependent on 'terminal.css' instead of both 'terminal.css' *and* 'theme.css' for now.