1 files changed, 0 insertions, 17 deletions
diff --git a/docs/_layouts/search.html b/docs/_layouts/search.html
deleted file mode 100644
index 14994ab62..000000000
--- a/docs/_layouts/search.html
+++ /dev/null
@@ -1,17 +0,0 @@
-<html>
-    <head>
-        <meta charset="utf-8">
-
-        <title>Dotty - {{ page.title }}</title>
-        <link rel="shortcut icon" type="image/png" href="{{ site.baseurl}}/images/favicon.png"/>
-        <link rel="stylesheet" href="http://cdnjs.cloudflare.com/ajax/libs/highlight.js/9.7.0/styles/github.min.css">
-        <link rel="stylesheet" href="{{ site.baseurl }}/css/main.css">
-    </head>
-    <body>
-        <div id="container">
-            <div class="search">
-                {{ content }}
-            </div>
-        </div>
-    </body>
-</html>