Happy New Year

[squirrelmail.git] / themes / deepocean_theme.php

diff --git a/themes/deepocean_theme.php b/themes/deepocean_theme.php
index 573dbbc478bbc8d5c09dc06da97fc3df0706ce78..bc7ff757b0a5b313c83de4524a2884fc94c4f420 100644 (file)
--- a/themes/deepocean_theme.php
+++ b/themes/deepocean_theme.php
@@ -2,31 +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-2020 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]   = '#7A9CBF'; // (white)          Normal Background
-$color[5]   = '#597D9D'; // (light yellow)   Table Headers
-$color[6]   = '#FFFFFF'; // (black)          Text on left bar
+$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[13]  = '#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