/* applies a class to elements specified by an array of IDs */
function apply(className, ids){
    for (i = 0; i < ids.length; i++) {
        current = ids[i];
        if (document.getElementById(current)) {
            document.getElementById(current).className = className;
            document.getElementById(current + "_content").className = className;
        }
    }
}