Updated document.inputEncoding and document.characterSet per latest DOM Standard spec