summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--include/functions2.php5
-rw-r--r--themes/compact.css19
2 files changed, 23 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);
diff --git a/themes/compact.css b/themes/compact.css
new file mode 100644
index 000000000..51c3f7f92
--- /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;
+}
+