diff --git a/index.html b/index.html index aa7fa7988..434375f6b 100644 --- a/index.html +++ b/index.html @@ -11,6 +11,7 @@ + diff --git a/search.html b/search.html index 42da00c1c..8d868bec0 100644 --- a/search.html +++ b/search.html @@ -23,6 +23,7 @@ +