Clear a selection in Firefox

For the problematic browser:

document.selection.empty()

For other browsers:

window.getSelection().removeAllRanges()

See http://help.dottoro.com/ljigixkc.php