From fe0d183de3f8319db3bf5dbcd50e0e214e2ddac7 Mon Sep 17 00:00:00 2001
From: Rasmus Lerdorf <rasmus@php.net>
Date: Sat, 16 Jul 2011 17:55:54 +0000
Subject: [PATCH] Right float the bing attribution

---
 include/results.inc | 2 +-
 quickref.php        | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/include/results.inc b/include/results.inc
index be518bdc7..94c6d8d5c 100644
--- a/include/results.inc
+++ b/include/results.inc
@@ -66,7 +66,7 @@ EOB;
 	echo "</ul>\n";
 	if($show_attrib):
 	echo <<<EOB
-<span style="margin-left: 3em; margin-top: 1em; float: left; font-family: Verdana, Tahoma, Helvetica, Arial;
+<span style="margin-left: 3em; margin-top: 1em; float: right; font-family: Verdana, Tahoma, Helvetica, Arial;
 font-size: 11px; color:#555;">results by <img style="margin-bottom:4px;" src="/images/bing.png" align="center"/></span>
 EOB;
 	endif;
diff --git a/quickref.php b/quickref.php
index 25b67c423..beb452064 100644
--- a/quickref.php
+++ b/quickref.php
@@ -156,7 +156,7 @@ if(!is_array($data)) {
 	if(is_array($res) && $res['ResultSet']['totalResultsAvailable'] > 0) {
 		// Ok, we got some results from the search backend	
 		echo "<br /><h1>Site Search Results</h1>\n";
-		search_results($res, $notfound, 'local', 10, 0, $LANG, false, false, false);
+		search_results($res, $notfound, 'local', 10, 0, $LANG, false, false, true);
 		echo '<br clear="left"/>';
 	}
 }