js/org.js

   1  function CodeHighlightOn(elem, id)
   2  {
   3    var target = document.getElementById(id);
   4    if(null != target) {
   5      elem.cacheClassElem = elem.className;
   6      elem.cacheClassTarget = target.className;
   7      target.className = \"code-highlighted\";
   8      elem.className   = \"code-highlighted\";
   9    }
  10  }
  11  function CodeHighlightOff(elem, id)
  12  {
  13    var target = document.getElementById(id);
  14    if(elem.cacheClassElem)
  15      elem.className = elem.cacheClassElem;
  16    if(elem.cacheClassTarget)
  17      target.className = elem.cacheClassTarget;
  18  }