diff options
Diffstat (limited to 'docs/_layouts/search.html')
| -rw-r--r-- | docs/_layouts/search.html | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/docs/_layouts/search.html b/docs/_layouts/search.html new file mode 100644 index 000000000..14994ab62 --- /dev/null +++ b/docs/_layouts/search.html @@ -0,0 +1,17 @@ +<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> |