function toggle_visible(name)
{
  col = $(name + 'col');
  exp = $(name + 'exp');

  if (col.style.display == 'none') {
    $(name + 'col').style.display = 'block';
    $(name + 'exp').style.display = 'none';
  } else {
    $(name + 'col').style.display = 'none';
    $(name + 'exp').style.display = 'block';
  }
}

function change_button(id, d, type)
{
  img = './image/manual/bars/button-';
  if (d) {
    img += 'd-';
  } else {
    img += 'u-';
  }
  img += type;
  img += '.gif';

  $(id).src = img;
}