/* This is a small script to hide the "up" arrow when users upvote
 * posts and comments. The only reason for this is to give some feedback
 * to the user after clicks.
 */

function hide (dom_element) {
    dom_element.style.visibility = 'hidden';
}