function highlight_item_on(item, color)
{
    item.background = color;
}

function highlight_item_on(item)
{ item.background = '#f8ffff'; }


function highlight_item_off(item, color)
{ item.background = color; }