add compact theme with smaller font

diff --git a/include/functions2.php b/include/functions2.php
index d06a7a71003db30a945380519373c60d3b5bf285..b8eff56d2cf6e47e138236c7d18aeb4904ec173d 100644 (file)
--- 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);

diff --git a/themes/compact.css b/themes/compact.css
new file mode 100644 (file)
index 0000000..51c3f7f
--- /dev/null
+++ b/themes/compact.css
@@ -0,0 +1,19 @@
+/* supports-version:17.1 */
+
+@import "default.php";
+
+body,
+.claro .dijitMenu .dijitMenuItemLabel,
+.claro .cdmContentInner,
+.claro #content-insert,
+.claro .cdm .cdmContent,
+.claro .postReply .postContent { 
+       font-size : 12px ! important;
+}
+
+.claro .postReply .postHeader,
+.claro #floatingTitle a.title,
+.claro .cdm .title {
+       font-size : 13px ! important;
+}
+