Make context menu work

(It's still only used by typing $("body").enableCopyPaste(); into the
console.)
.ace_search - dark themed
This one's a syntax fixer-upper.

Semicolons should not be optional!