From 2028560af9a3529e91371332ace60d3ba339d851 Mon Sep 17 00:00:00 2001
From: Robert Ricci <ricci@cs.utah.edu>
Date: Mon, 12 Feb 2007 23:14:50 +0000
Subject: [PATCH] Horrible hack. Browsers seem to not always reload style
 sheets even when they have changed. So, change the URL for our stylesheet in
 order to force browsers to load a new version. (I installed this manually on
 boss.)

This should be removed before making a release!
---
 www/menu.php3 | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/www/menu.php3 b/www/menu.php3
index 9a9b3ebc2..c2cee427c 100644
--- a/www/menu.php3
+++ b/www/menu.php3
@@ -635,7 +635,7 @@ function PAGEBEGINNING( $title, $nobanner = 0, $nocontent = 0,
     	    <!-- do not import full style sheet into NS47, since it does bad job
             of handling it. NS47 does not understand '@import'. -->
     	    <style type='text/css' media='all'>
-            <!-- @import url($BASEPATH/style.css); -->";
+            <!-- @import url($BASEPATH/style-new.css); -->";
 
     if (!$MAINPAGE) {
 	echo "<!-- @import url($BASEPATH/style-nonmain.css); -->";
-- 
GitLab