Index: doc/_build/html/search.html =================================================================== diff -u -r7e3e5a0e230f74c335f47c340c5e8d972a53dc46 -r2b997013c69d5ffaf67c85a38174c59f330492f1 --- doc/_build/html/search.html (.../search.html) (revision 7e3e5a0e230f74c335f47c340c5e8d972a53dc46) +++ doc/_build/html/search.html (.../search.html) (revision 2b997013c69d5ffaf67c85a38174c59f330492f1) @@ -48,6 +48,9 @@