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

@@ -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); -->";