// JavaScript Document

function noSel (element) {
  if (typeof element.onselectstart!="undefined")
    element.onselectstart=function(){return false}
  else if (typeof element.style.MozUserSelect!="undefined")
    element.style.MozUserSelect="none";
  else
    element.onmousedown=function(){return false}
  element.style.cursor = "default"
}