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@xxxxxxxxxx>
---
docs/css/libvirt.css | 2 +-
docs/page.xsl | 4 ++--
2 files changed, 3 insertions(+), 3 deletions(-)
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>
--
2.43.0
_______________________________________________
Devel mailing list -- devel@xxxxxxxxxxxxxxxxx
To unsubscribe send an email to devel-leave@xxxxxxxxxxxxxxxxx
