terminal_input.js:  Added a check for the existence of 'document.activeElement.classList' before calling the 'contains()' function in order to work around a bug in IE where 'document.activeElement' isn't represented properly (as document.body) when nothing is active.
bookmarks.js:  Worked around a strange bug in IE where it didn't like how bookmarks were looped over--preventing bookmarks from being edited.  Can't say I blame IE on this one...  Not sure what I was thinking with the way I wrote that bit of code (LOL).  It is much simpler now.