add compact theme with smaller font

1 files changed, 4 insertions, 1 deletions

diff --git a/include/functions2.php b/include/functions2.php
index d06a7a710..b8eff56d2 100644
--- a/include/functions2.php
+++ b/include/functions2.php
@@ -2428,7 +2428,10 @@
 	}
 
 	function theme_valid($theme) {
-		if ($theme == "default.php" || $theme == "night.css") return true; // needed for array_filter
+		$bundled_themes = [ "default.php", "night.css", "compact.css" ];
+		
+		if (in_array($theme, $bundled_themes)) return true;
+
 		$file = "themes/" . basename($theme);
 
 		if (!file_exists($file)) $file = "themes.local/" . basename($theme);