////////////////////////////////////////////////////////////////////////////////
//
// CSS class handler - sets and unsets CSS classes for HTML elements by id
//
// $Id: changeClass.js,v 1.1 2004/08/20 15:41:09 eb Exp $
//
// Copyright (c) 2004 A.Beisler <eb@subdevice.org> http://www.subdevice.org/
//
// This program is free software; you can redistribute it and/or modify
// it under the terms of the GNU General Public License as published by
// the Free Software Foundation; either version 2 of the License, or
// (at your option) any later version.
//
// This program is distributed in the hope that it will be useful,
// but WITHOUT ANY WARRANTY; without even the implied warranty of
// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
// GNU General Public License for more details.
//
// You should have received a copy of the GNU General Public License
// along with this program; if not, write to the Free Software
// Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA  02111-1307  USA
//
////////////////////////////////////////////////////////////////////////////////

function setClass( id, class_name )
{
	document.getElementById( id ).className = class_name;
}

function unsetClass( id )
{
	document.getElementById( id ).className = "";
}