I am trying to search https://www.mantidproject.org/ The search button is not on the first page and if I open User Documents, search lens is there but seems do nothing. Tried firefox and edge no difference.
Developer documentation search seems works fine.
Hi, Thanks for spotting this! After our server migration at the start of summer we have recreated a new version of the mantid website (which will look rather similar), but we have not made the new version public yet. A few problems, including the search functionality have been fixed on the new version.