Remove $config['design'] documentation

I believe those options are gone since
36d619480a8f5fa06db5b54fe7686de83d8225be

diff --git a/CONFIGURE b/CONFIGURE
index 120db976df82862ae1ee327ca0fa8e638f2f4d4e..d0b6a2448439208c84b18f18b6264272d93eeb3a 100644 (file)
--- a/CONFIGURE
+++ b/CONFIGURE
@@ -632,20 +632,6 @@ notify third-party servers of updates.
 notify: an array of URLs for ping endpoints. Default is the empty
     array (no notification).
 
-design
-------
-
-Default design (colors and background) for the site. Actual appearance
-depends on the theme.  Null values mean to use the theme defaults.
-
-backgroundcolor: Hex color of the site background.
-contentcolor: Hex color of the content area background.
-sidebarcolor: Hex color of the sidebar background.
-textcolor: Hex color of all non-link text.
-linkcolor: Hex color of all links.
-backgroundimage: Image to use for the background.
-disposition: Flags for whether or not to tile the background image.
-
 notice
 ------