00001 <?php 00002 /* $Id: info.inc.php,v 2.2.2.1 2005/09/05 11:42:12 lem9 Exp $ */ 00003 /* Theme information */ 00004 $theme_name = 'Darkblue/orange'; 00005 $theme_version = 1; 00006 $theme_generation = 2; 00007 ?>