Cacher is the code snippet organizer for pro developers

function clear_selection() {
    /*  
    I use this to ensure the `next` and `prev` buttons don't
    stay highlighted when clicking quickly.
    */
    if(document.selection && document.selection.empty){
        document.selection.empty();
    } else if (window.getSelection){
        var sel = window.getSelection();
        sel.removeAllRanges();
    }   
}