Andrea suggested it would be nice to redirect the search box to a local
search page which then let the user submit a site-restricted search to
google for website vs wiki vs mailing lists.
I took a slightly different approach here, and instead simply popup an
extra set of radio buttons below the main search field. This lets the
user select the site to search straightaway without the intermediate
page.
Daniel P. Berrangé (2):
docs: move javascript logic into a standalone file
docs: add advanced search capabilities
docs/libvirt.css | 40 ++++++++++++++++++++++++++++
docs/main.js | 69 ++++++++++++++++++++++++++++++++++++++++++++++++
docs/mobile.css | 7 +++++
docs/page.xsl | 50 ++++++++++-------------------------
4 files changed, 130 insertions(+), 36 deletions(-)
create mode 100644 docs/main.js
--
2.20.1