function animateButton(event, state)
{
	// Button requires existing 5px margin on all sides for effect to work seemlessly
	// Margin change doesn't work in Firefox apparently - will have to do for now!
    var clickedElement = getEvent(event).target;
	if (state != 0)
	{
		clickedElement.style.borderStyle = "inset";
		clickedElement.style.margin = "6 4 4 6";
	}
	else
	{
		clickedElement.style.borderStyle = "outset";
		clickedElement.style.margin = "5 5 5 5";
	}
}

function getElementsByAttribute(attr, val, container)
{
    container = container||document;
    var all = container.all||container.getElementsByTagName('*');
    var arr = [];
    for(var k=0;k<all.length;k++)
        if(all[k].getAttribute(attr) == val)
            arr[arr.length] = all[k];
    return arr;
}

function getEvent(e) {
    var event = e || window.event;
    if( ! event.target )
        event.target = event.srcElement;
    return event;
}

var currentDisplay = 'none'; // assume nothing displayed at initial load

function toggleAllDetails() {
    if (currentDisplay == 'none')
        currentDisplay = 'block';
    else
        currentDisplay = 'none';
    var all = document.all;
    for(var k = 0; k < all.length; k++)
        if (all[k].getAttribute('class') == 'Detail') 
            all[k].style.display = currentDisplay;
}

function toggleDetail(event) {
    var clickedElement = getEvent(event).target;
    var detailElements = clickedElement.getElementsByTagName('span');
    for(var i = 0; i < detailElements.length ; i++)
        if (detailElements[i].style.display == 'block')
            detailElements[i].style.display = 'none';
        else
            detailElements[i].style.display = 'block';
}

function resetSearchCriteria()
{
    var field;
    field = document.getElementById('keywords');
    field.value = '';
    field = document.getElementById('studyarea');
    field.selectedIndex = 0;
    field = document.getElementById('campus');
    if (field != null) /* TOL search doesn't have Campus */
        field.selectedIndex = 0;
}