Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
Seeing the page history, there have been two weird edits to this page on 31 July 2023. The first made a couple of deletions. The second seems to have restored them. But to be safe I have rolled back to version 304 before that event.
I am currently in China, visiting the Yau Mathematical Science Center. This alerts me of how inconvenient some of the nLab’s habits are for users from here (which in I knew in theory, but one gets a better sense of it when actually affected in practice).
For instance the search functionality at the top of the HomePage does not work here, since no Google service is available here.
We should accompany the search box at the top of the page by alternatives which use other search engines.
I would change it myself, but right now I am not actually sure how to do it. Our code is
<form name="gsearch" method="get" action="https://www.google.com/search"><input type="text" size="30" name="as_q"/><input type="hidden" name="as_sitesearch" value="https://ncatlab.org/nlab/"/></form>
How to adjust this for other engines?
In the Sandbox I have tried this code with the url exchanged for that of Bing, but that alone doesn’t help. Probably also the “method” field etc needs to be adjusted?
If anyone knows about how this works, I’d be grateful for hints.