Some missing colours

diff --git a/theme/oceanblue/config.php b/theme/oceanblue/config.php
index 8646f004223ec128f1b60b2e1111c7b1fc4721bf..80fe789a72c7ea342d686fd95b4495da35ebd7e7 100644 (file)
--- a/theme/oceanblue/config.php
+++ b/theme/oceanblue/config.php
@@ -7,6 +7,8 @@ $THEME->cellcontent  = "#F0F0FF";  // For areas with text
 $THEME->cellcontent2 = "#CCCCFF";  // Alternate colour
 $THEME->borders      = "#AAAAFF";  // Table borders
 $THEME->highlight    = "#AAFFAA";  // Highlighted text (eg after a search)
+$THEME->hidden       = "#AAAAAA";  // To color things that are hidden
+$THEME->autolink     = "#DDDDDD";  // To color auto-generated links (eg glossary)
 
 $THEME->custompix    = false;      // If true, then this theme must have a "pix" 
                                    // subdirectory that contains copies of all