Updates to phantomnet look and links.

www/defs.php3.in

@@ -695,10 +695,10 @@ function SetDomainDefs()
 	    } else {
 		$WIKINODE     = "wiki.$OURDOMAIN";
 	    }
-	    if (isset($ovr['WIKIDOCS'])) {
-		$WIKIDOCS     = $ovr['WIKIDOCS'];
+	    if (isset($ovr['WIKIDOCURL'])) {
+		$WIKIDOCURL   = $ovr['WIKIDOCURL'];
 	    } else {
-		$WIKIDOCS     = "http://${WIKINODE}/wikidocs/wiki";
+		$WIKIDOCURL   = "http://${WIKINODE}/wikidocs/wiki";
 	    }
 	    if (isset($ovr['DOMVIEW'])) {
 		$DOMVIEW      = $ovr['DOMVIEW'];

www/override-phantomnet.css

@@ -33,13 +33,26 @@ th.center {
 }
  
 table {
-  background-color: #ADD6FF;
-
+  background-color: #FFFFFF;
 }
 
-table.nogrid { border-color: #ADD6FF; background-color:#ADD6FF; }
+table.nogrid { border-color: #000; background-color:#ADD6FF; }
 
 #contentheader {
-  background-color: #A3C2FF;
-  color: #000;
+  background-color: #1975FF;
+  color: #FFF;
+}
+
+.submenuheader {
+  border: solid 2px black;
+  background-color: #1975FF;
+  color: #FFF;
+  text-align: center;
+}
+
+ul.submenu {
+  border-top: solid 0px black;
+  border-right: solid 1px black;
+  border-left: solid 1px black;
+  border-bottom: solid 1px black;
 }