$theme[15]["PATH"] = "../themes/bluesnews_theme.php";
$theme[15]["NAME"] = "BluesNews";
+
+ $theme[16]["PATH"] = "../themes/deepocean2_theme.php";
+ $theme[16]["NAME"] = "Deep Ocean 2";
+
+ $theme[17]["PATH"] = "../themes/blue_gray_theme.php";
+ $theme[17]["NAME"] = "Blue Gray";
// LDAP server(s)
//