The use of 'user' as a column name no longer causes errors in SquirrelMail/PostgreSQL

[squirrelmail.git] / themes / deepocean2_theme.php

diff --git a/themes/deepocean2_theme.php b/themes/deepocean2_theme.php
index 9c6b0151c74e5f71b468ece4b6f11a6e3187ce85..217ab644c72dd31cf28bdc14cdcb3d25504e5656 100644 (file)
--- a/themes/deepocean2_theme.php
+++ b/themes/deepocean2_theme.php
@@ -3,31 +3,29 @@
 /**
  * deepocean2_theme.php
  * Name:    Deep Ocean 2
- * @author M.J. Prinsen
  * Date:    May 23, 2000
  * Comment: Deep Ocean 2 is very blue with a white background.
  *
- * Copyright (c) 2000-2003 The SquirrelMail Project Team
- * Licensed under the GNU GPL. For full terms see the file COPYING.
- *
- * $Id$
+ * @author M.J. Prinsen
+ * @copyright 2000-2010 The SquirrelMail Project Team
+ * @license http://opensource.org/licenses/gpl-license.php GNU Public License
+ * @version $Id$
  * @package squirrelmail
  * @subpackage themes
  */
 
 global $color;
-$color[0]   = '#6188A9'; // (light gray)     TitleBar
+$color[0]   = '#6188a9'; // (light gray)     TitleBar
 $color[1]   = '#800000'; // (red)
-$color[2]   = '#CC0000'; // (light red)      Warning/Error Messages
+$color[2]   = '#cc0000'; // (light red)      Warning/Error Messages
 $color[3]   = '#294763'; // (green-blue)     Left Bar Background
-$color[4]   = '#FFFFFF'; // (white)          Normal Background
-$color[5]   = '#597D9D'; // (light yellow)   Table Headers
-$color[6]   = '#FFFFFF'; // (black)          Text on left bar
+$color[4]   = '#ffffff'; // (white)          Normal Background
+$color[5]   = '#597d9d'; // (light yellow)   Table Headers
+$color[6]   = '#ffffff'; // (black)          Text on left bar
 $color[7]   = '#000000'; // (blue)           Links
 $color[8]   = '#000000'; // (black)          Normal text
-$color[9]   = '#587B99'; // (mid-gray)       Darker version of #0
-$color[10]  = '#496E8B'; // (dark gray)      Darker version of #9
-$color[11]  = '#A7C5F3'; // (dark red)       Special Folders color
-$color[12]  = '#7092B4';
-$color[15]  = '#83A1DA'; // (another blue)   Unselectable folders color
-?>
+$color[9]   = '#587b99'; // (mid-gray)       Darker version of #0
+$color[10]  = '#496e8b'; // (dark gray)      Darker version of #9
+$color[11]  = '#a7c5f3'; // (dark red)       Special Folders color
+$color[12]  = '#7092b4';
+$color[15]  = '#83a1da'; // (another blue)   Unselectable folders color