get the filename from the properties if the is no disposition info available

[squirrelmail.git] / themes / servery_theme.php

diff --git a/themes/servery_theme.php b/themes/servery_theme.php
index ae91cac4732b19f580f3f93554072c3f0db70c7e..264ec54b9e3f242c174bb9bee243b20656e348d3 100644 (file)
--- a/themes/servery_theme.php
+++ b/themes/servery_theme.php
@@ -7,24 +7,24 @@
  *    Date:    August 18, 2000
  *    Comment: 
  *
- * Copyright (c) 2000-2002 The SquirrelMail Project Team
+ * Copyright (c) 2000-2003 The SquirrelMail Project Team
  * Licensed under the GNU GPL. For full terms see the file COPYING.
  *
  * $Id$
  */
 
 global $color;
-$color[0]   = "#F1EEE3"; // (light gray)     TitleBar
-$color[1]   = "#800000"; // (red)
-$color[2]   = "#CC0000"; // (light red)      Warning/Error Messages
-$color[3]   = "#7D6F3F"; // (green-blue)     Left Bar Background
-$color[4]   = "#FFFFFF"; // (white)          Normal Background
-$color[5]   = "#C7B98B"; // (light yellow)   Table Headers
-$color[6]   = "#000000"; // (black)          Text on left bar
-$color[7]   = "#434031"; // (blue)           Links
-$color[8]   = "#000000"; // (black)          Normal text
-$color[9]   = "#C7B98B"; // (mid-gray)       Darker version of #0
-$color[10]  = "#F1EEE3"; // (dark gray)      Darker version of #9
-$color[11]  = "#770000"; // (dark red)       Special Folders color
-
+$color[0]   = '#F1EEE3'; // (light gray)     TitleBar
+$color[1]   = '#800000'; // (red)
+$color[2]   = '#CC0000'; // (light red)      Warning/Error Messages
+$color[3]   = '#7D6F3F'; // (green-blue)     Left Bar Background
+$color[4]   = '#FFFFFF'; // (white)          Normal Background
+$color[5]   = '#C7B98B'; // (light yellow)   Table Headers
+$color[6]   = '#000000'; // (black)          Text on left bar
+$color[7]   = '#434031'; // (blue)           Links
+$color[8]   = '#000000'; // (black)          Normal text
+$color[9]   = '#C7B98B'; // (mid-gray)       Darker version of #0
+$color[10]  = '#F1EEE3'; // (dark gray)      Darker version of #9
+$color[11]  = '#770000'; // (dark red)       Special Folders color
+$color[15]  = '#C7B98B'; // (mid-gray)       Unselectable folders
 ?>