//{{{ function progress_articles_form()
/**
  This eliminates the button element in the form and changes articles
  once the item is selected on the list. Javascript is used for this
  so those with Javascript disabled can still use the form
  */
function progress_articles_form() {

  var i, option, 
    form = document.getElementById('article_list'),
    div = form.getElementsByTagName('div')[0],
    button = div.getElementsByTagName('button')[0],
    select = document.getElementById('a');

  div.removeChild(button);

  select.onchange = function() {
    var options = this.getElementsByTagName('option'),
      index = this.selectedIndex;
    location.assign('appearances.php?a=' + options[index].getAttribute('value'));
  }
}

//}}}

addLoadEvent(progress_articles_form);