$theme[11]["PATH"] = "../themes/high_contrast_theme.php";
$theme[11]["NAME"] = "High Contrast";
- $theme[11]["PATH"] = "../themes/black_bean_burrito_theme.php";
- $theme[11]["NAME"] = "Black Bean Burrito";
+ $theme[12]["PATH"] = "../themes/black_bean_burrito_theme.php";
+ $theme[12]["NAME"] = "Black Bean Burrito";
+
+ $theme[13]["PATH"] = "../themes/servery_theme.php";
+ $theme[13]["NAME"] = "Servery";
+
+ $theme[14]["PATH"] = "../themes/maize_theme.php";
+ $theme[14]["NAME"] = "Maize";
+
+ $theme[15]["PATH"] = "../themes/bluesnews_theme.php";
+ $theme[15]["NAME"] = "BluesNews";
// LDAP server(s)
//