Stream options were forgot here

[squirrelmail.git] / themes / deepocean_theme.php

diff --git a/themes/deepocean_theme.php b/themes/deepocean_theme.php
index 3308a2f0369de6c6dbdd9fae262bcf5631cb4eb9..e1a02427cb93ed86a55e9d028c711dc21bfa52a9 100644 (file)
--- a/themes/deepocean_theme.php
+++ b/themes/deepocean_theme.php
@@ -3,32 +3,29 @@
 /**
  * deepocean_theme.php
  * Name:    Deep Ocean
- * @author M.J. Prinsen
  * Date:    January 3, 2000
  * Comment: Deep Ocean is a theme that is very blue.
  *
- * Copyright (c) 2000-2004 The SquirrelMail Project Team
- * Licensed under the GNU GPL. For full terms see the file COPYING.
- *
- * $Id$
+ * @author M.J. Prinsen
+ * @copyright 2000-2018 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[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