It seems that the html pages generated with sphinx have a problem when we use the search bar functionality.