docs: Mention use of DuckDuckGo

The fact that we use an external search provider instead of a
built-in search functionality might come as a surprise to users,
and some of them might not be comfortable with the arrangement.

Mention it in the search interface to avoid surprises.

Signed-off-by: Andrea Bolognani <abologna@redhat.com>
Reviewed-by: Martin Kletzander <mkletzan@redhat.com>

diff --git a/docs/css/libvirt.css b/docs/css/libvirt.css
index 7021d0b59992add9da1acc7120a915856f08fa76..0dc328069475b353bd02127b808cc532252e4367 100644 (file)
--- a/docs/css/libvirt.css
+++ b/docs/css/libvirt.css
@@ -476,7 +476,7 @@ td.enumvalue {
     margin-top: 0em;
     top: 100px;
     right: 0px;
-    width: 13em;
+    width: 15em;
     text-align: left;
     color: white;
     background: rgb(0, 95, 97);

diff --git a/docs/page.xsl b/docs/page.xsl
index 8a1a77fa99ee88b79fc8764097445048926f1c91..1021899b3ad56b64b0f9b44215b437b127d4c2e6 100644 (file)
--- a/docs/page.xsl
+++ b/docs/page.xsl
@@ -85,8 +85,8 @@
               </div>
             </form>
             <div id="advancedsearch">
-              <span><input type="radio" name="what" id="whatwebsite" checked="checked" value="website"/><label for="whatwebsite">Website</label></span>
-              <span><input type="radio" name="what" id="whatwiki" value="wiki"/><label for="whatwiki">Wiki</label></span>
+              <span><input type="radio" name="what" id="whatwebsite" checked="checked" value="website"/><label for="whatwebsite">Website <i>(via DuckDuckGo)</i></label></span>
+              <span><input type="radio" name="what" id="whatwiki" value="wiki"/><label for="whatwiki">Wiki <i>(via DuckDuckGo)</i></label></span>
               <span><input type="radio" name="what" id="whatdevs" value="devs"/><label for="whatdevs">Developers list</label></span>
               <span><input type="radio" name="what" id="whatusers" value="users"/><label for="whatusers">Users list</label></span>
             </div>