api search broken?

Stream: general

[Adam Topaz]

The search in https://leanprover-community.github.io/mathlib_docs/ doesn't seem to work for me right now. Is it just me, or can someone else reproduce?

[Bryan Gin-ge Chen]

It's still working for me... what exactly is happening and do you see any suspicious messages in your browser's console?

[Adam Topaz]

Hmm... it's working now...

[Adam Topaz]

But only because I refreshed the page, whereas before it looked like some cross origin errors in the console

[Adam Topaz]

Anyway, seems to be fixed now.