function highlight_div(checkbox_node){
    label_node = checkbox_node.parentNode;
    if (checkbox_node.checked){
        label_node.style.backgroundColor='#0a246a';
        label_node.style.color='#fff';
    }else  {
        label_node.style.backgroundColor='#F0EBE2';
        label_node.style.color='#000';
    }
}