function init_css_buttons()
{
   var buttons = document.getElementsByClassName('cssButton');

   for(i=0;i<buttons.length;++i) {
      var b = buttons[i];
      b.onmousedown = function() {this.className = this.className.replace('cssButton ','cssButtonPress ');};
      b.onmouseup = function() {this.className = this.className.replace('cssButtonPress ','cssButton ');};

      //This it to compensate for browsers that don't support cssButton:hover in the CSS.
      b.onmouseover = function() {this.className += ' cssButtonHover';};
      b.onmouseout = function() {this.className = this.className.replace('cssButtonPress ','cssButton ').replace(' cssButtonHover','');};
   }
}

function cssb_down()
{
 this.className = this.className.replace('cssButton ','cssButtonPress ');
}

function cssb_up()
{
 this.className = this.className.replace('cssButtonPress ','cssButton ');
}