diff --git a/docsite/_themes/srtd/searchbox.html b/docsite/_themes/srtd/searchbox.html deleted file mode 100644 index b729e8cd64..0000000000 --- a/docsite/_themes/srtd/searchbox.html +++ /dev/null @@ -1,76 +0,0 @@ - - - - - - - - - \ No newline at end of file