Improve cross reference rating, Daniel
diff --git a/doc/search.php b/doc/search.php
index 0fe51de..d406998 100644
--- a/doc/search.php
+++ b/doc/search.php
@@ -145,7 +145,7 @@
 			$desc = mysql_result($result, $i, 4);
 			if (array_key_exists($name, $results)) {
 			    list($r,$t,$m,$n, $d) = $results[$name];
-			    $results[$name] = array($r + $relevance,
+			    $results[$name] = array($r + $relevance + 40,
 			                            $t,$m,$n,$d);
 			} else {
 			    $results[$name] = array($relevance,$type,