From: Andrea Bolognani <abologna@redhat.com>
Date: Mon, 4 Dec 2023 11:06:17 +0000 (+0100)
Subject: docs: Mention use of DuckDuckGo
X-Git-Url: http://xenbits.xensource.com/gitweb?a=commitdiff_plain;h=57395ea9eb4d718ae0ea0ae4a27f2514d979e34d;p=people%2Faperard%2Flibvirt.git

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 7021d0b599..0dc3280694 100644
--- 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 8a1a77fa99..1021899b3a 100644
--- 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>