add support for an override stylesheet which applies to all users

1 files changed, 5 insertions, 2 deletions

diff --git a/prefs.php b/prefs.php
index 2a51c6c38..f0ecae180 100644
--- a/prefs.php
+++ b/prefs.php
@@ -36,8 +36,11 @@
 		if ($theme && theme_exists("$theme")) {
 			echo stylesheet_tag(get_theme_path($theme), 'theme_css');
 		}
-	}
-	?>
+	} ?>
+
+	<?php if (theme_exists(LOCAL_OVERRIDE_STYLESHEET)) {
+		echo stylesheet_tag(get_theme_path(LOCAL_OVERRIDE_STYLESHEET));
+	} ?>
 
 	<script type="text/javascript">
 		const __csrf_token = "<?php echo $_SESSION["csrf_token"]; ?>";