/* default.js */
function hideRemoved(remove_check_id,div_id){if($(remove_check_id).checked){$(div_id).addClassName('removed');}else{$(div_id).removeClassName('removed');}}
function checkAll(selector){$$(selector+' input[type=checkbox]').each(function(box){box.checked=1;});return false;}
function checkNone(selector){$$(selector+' input[type=checkbox]').each(function(box){box.checked=0;});return false;}
function checkToggle(selector){$$(selector+' input[type=checkbox]').each(function(box){box.checked=!box.checked;});return false;}