<?php
$file = basename($_SERVER['REQUEST_URI']); 
//echo basename($_SERVER['REQUEST_URI']);

?>

<!-- services index -->
<div class="col-md-4 col-md-pull-8">
	<div class="list-group"> 
		<?php
			for ($i = 0; $i < count($services,2); $i++) {
				echo '<a href="'.$services[$i][1].'" class="list-group-item ';
				if (strcasecmp($file,$services[$i][1]) == 0)	echo 'active';
				echo '">'.$services[$i][0].'</a>';
				
			
			}
		// output is like this:  <a href="services.php" class="list-group-item active"> Overview </a> 
		// or for non active  :  <a href="services.php" class="list-group-item"> Overview </a> 
		
		?>
		


  </div>
</div>
<!-- end of benchmarking index -->