diff --git a/js/navigation.js.gz b/js/navigation.js.gz
index 8c7d706a..4619265e 100644
Binary files a/js/navigation.js.gz and b/js/navigation.js.gz differ
diff --git a/js/search_index.js.gz b/js/search_index.js.gz
index 9fc82c22..78f519bd 100644
Binary files a/js/search_index.js.gz and b/js/search_index.js.gz differ
diff --git a/js/searcher.js.gz b/js/searcher.js.gz
index 93e0f7f8..30957e3f 100644
Binary files a/js/searcher.js.gz and b/js/searcher.js.gz differ