Minor fix

[squirrelmail.git] / themes / deepocean_theme.php

diff --git a/themes/deepocean_theme.php b/themes/deepocean_theme.php
index 9a627c530e79ab0b488013c7238f738e9ea32176..7020c88c589a4fe8016cbee80ed48e862a31293c 100644 (file)
--- a/themes/deepocean_theme.php
+++ b/themes/deepocean_theme.php
@@ -2,30 +2,30 @@
 
 /**
  * deepocean_theme.php
- *    Name:    Deep Ocean
- *    Author:  M.J. Prinsen
- *    Date:    January 3, 2000
- *    Comment: Deep Ocean is a theme that is very blue.
+ * Name:    Deep Ocean
+ * Date:    January 3, 2000
+ * Comment: Deep Ocean is a theme that is very blue.
  *
- * Copyright (c) 2000-2002 The SquirrelMail Project Team
- * Licensed under the GNU GPL. For full terms see the file COPYING.
- *
- * $Id$
+ * @author M.J. Prinsen
+ * @copyright 2000-2015 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[1]   = "#800000"; // (red)
-$color[2]   = "#CC0000"; // (light red)      Warning/Error Messages
-$color[3]   = "#294763"; // (green-blue)     Left Bar Background
-$color[4]   = "#7A9CBF"; // (white)          Normal Background
-$color[5]   = "#597D9D"; // (light yellow)   Table Headers
-$color[6]   = "#FFFFFF"; // (black)          Text on left bar
-$color[7]   = "#014070"; // (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[0]   = '#6188a9'; // (light gray)     TitleBar
+$color[1]   = '#800000'; // (red)
+$color[2]   = '#cc0000'; // (light red)      Warning/Error Messages
+$color[3]   = '#294763'; // (green-blue)     Left Bar Background
+$color[4]   = '#7a9cbf'; // (white)          Normal Background
+$color[5]   = '#597d9d'; // (light yellow)   Table Headers
+$color[6]   = '#ffffff'; // (black)          Text on left bar
+$color[7]   = '#014070'; // (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