diff options
Diffstat (limited to 'docs/_layouts')
-rw-r--r-- | docs/_layouts/default.html | 1 | ||||
-rw-r--r-- | docs/_layouts/search.html | 17 |
2 files changed, 18 insertions, 0 deletions
diff --git a/docs/_layouts/default.html b/docs/_layouts/default.html index ce1345145..65a2cd859 100644 --- a/docs/_layouts/default.html +++ b/docs/_layouts/default.html @@ -15,6 +15,7 @@ </div> </a> <div id="content"> + <h1>{{ page.title }}</h1> {{ content }} </div> <div id="toc"> 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> |