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 <[email protected]> --- 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 -- [email protected] To unsubscribe send an email to [email protected]
