<!-- 
//***********************************************************************************
//***********************************************************************************
// This script defines constants that are used in common among the navigation files 
// in the help system. 
//***********************************************************************************
//***********************************************************************************


  // Background color constants
  
  var isCOLOR_BACKGROUND = "#dfddd5";
  
 

//***********************************************************************************
//***********************************************************************************
// End of JavaScript code -->