var strgURL =   location.pathname;                      // path of current component

// constructor for the array of objects
function tabElement(id, folderName, tabTxt )  {
  this.id = id;                                       // elementID as needed in html;
  this.folderName = folderName;                       // folder name of the component
  this.tabTxt = tabTxt;                               // Text displayed as menu on the web
  this.currentListItem = '<li id="' + this.id + '" class="current"> <a href="../../' + this.folderName + '/html/index.html"><span>' + this.tabTxt + '</span></a></li>';
  this.listItem = '<li id="' + this.id + '"> <a href="../../' + this.folderName + '/html/index.html"><span>' + this.tabTxt + '</span></a></li>';
};

// array of objects
var arr = [];

// fill array
 arr.push( new tabElement( "GEN",     "General",     "Overview"));
 arr.push( new tabElement( "CORE_A",  "Core_A",      "CMSIS-Core (A)"));
 arr.push( new tabElement( "CORE_M",  "Core",        "CMSIS-Core (M)"));
 arr.push( new tabElement( "DRV",     "Driver",      "CMSIS-Driver"));
 arr.push( new tabElement( "RTOS2",   "RTOS2",       "CMSIS-RTOS2"));

// write tabs
// called from the header file.
function writeComponentTabs()  {
  for ( var i=0; i < arr.length; i++ ) {
    str = "/" + arr[i].folderName + "/"
    if (strgURL.search(str) > 0) {                    // if this is the current folder
      document.write(arr[i].currentListItem);                       // then print and highlight the tab
    } else {
      document.write(arr[i].listItem);                              // else, print the tab
    }
  }
};