FEniCS Web

  1. Bug #828720
  2. Comment #1

Comment 1 for bug 828720

Revision history for this message
Harish Narayanan (hnarayanan) wrote :

I identified the source of the problem. There is an incompatibility between jQuery and the JavaScript used in Sphinx's search. This has been resolved in Sphinx 1.0.8 and the problem should go away once the site is regenerated with it.

Source: https://bitbucket.org/birkenfeld/sphinx/changeset/dd303c75281e