added styles_form to $DEFAULT_SHEET_LIST part of the code necessary so that every...

diff --git a/lib/weblib.php b/lib/weblib.php
index 6185a63bd5477b5e010d2526f97c6874016e1f7a..439fd6fbd2bb5fc238cf6a7585358338c1237276 100644 (file)
--- a/lib/weblib.php
+++ b/lib/weblib.php
@@ -2403,7 +2403,7 @@ function style_sheet_setup($lastmodified=0, $lifetime=300, $themename='', $force
     header('Pragma: ');
     header('Content-type: text/css');  // Correct MIME type
 
-    $DEFAULT_SHEET_LIST = array('styles_layout', 'styles_fonts', 'styles_color');
+    $DEFAULT_SHEET_LIST = array('styles_layout', 'styles_fonts', 'styles_color', 'styles_form');
 
     if (empty($themename)) {
         $themename = current_theme();  // So we have something.  Normally not needed.