diff options
Diffstat (limited to 'docs/_layouts/search.html')
-rw-r--r-- | docs/_layouts/search.html | 17 |
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> |