/*
 This file should only contain JavaScript that is necessary to draw the page.
 Things that give interactivity goes into footer.js.
 We try our best to follow progressive enhancement methodology.
*/

function write_check_buttons(name) {
  if (!name) return false;
  document.write('<div class="check_buttons">');
  document.write('<button type="button" onclick="selectCheckboxes(this.form,\'' + name + '\')">all</button>');
  document.write('<button type="button" onclick="unselectCheckboxes(this.form,\'' + name + '\')">none</button>');
  document.write('<button type="button" onclick="toggleCheckboxes(this.form,\'' + name + '\')">toggle</button>');
  document.write('</div>');
  return true;
}