/**
 * @file Funtions to make hovers work on IE
 */

/**
 * @brief Set the background color on the given element.
 *
 * @param that The element to work on.
 * @param color The color to use.
 */

function setBgColor(that, color) {
    that.style.backgroundColor = color;
}