<?php
													/* Helpful constants 						*/
	$tableHeadColor	= '#737b9c';
	$menuHeadColor 	= '#737b9c';
	$menuBgColor		= '#4b4f66';

	if ( !$newstyle ) {
		require( "lib/table.php" );
		require( "lib/array.php" );
		require( "lib/graph.php" );
		require( "lib/network.php" );
	}
?>