diff options
author | Felix Mulder <felix.mulder@gmail.com> | 2017-01-11 18:55:40 +0100 |
---|---|---|
committer | Felix Mulder <felix.mulder@gmail.com> | 2017-01-31 14:31:06 +0100 |
commit | d8b3d25418c14d31c70295f210b2ef7ea43f50d8 (patch) | |
tree | c6720da192ae568d5822c67136c6171a6d21616f /doc-tool/resources | |
parent | 1b75246cb65fd484cb9b0a0b167a6f01b22c02de (diff) | |
download | dotty-d8b3d25418c14d31c70295f210b2ef7ea43f50d8.tar.gz dotty-d8b3d25418c14d31c70295f210b2ef7ea43f50d8.tar.bz2 dotty-d8b3d25418c14d31c70295f210b2ef7ea43f50d8.zip |
Allow extras in main template
Diffstat (limited to 'doc-tool/resources')
-rw-r--r-- | doc-tool/resources/_layouts/main.html | 18 |
1 files changed, 15 insertions, 3 deletions
diff --git a/doc-tool/resources/_layouts/main.html b/doc-tool/resources/_layouts/main.html index 0cc1bafb8..7c63ec610 100644 --- a/doc-tool/resources/_layouts/main.html +++ b/doc-tool/resources/_layouts/main.html @@ -18,15 +18,24 @@ href="https://maxcdn.bootstrapcdn.com/font-awesome/4.5.0/css/font-awesome.min.css" > + <link href="https://fonts.googleapis.com/icon?family=Material+Icons" rel="stylesheet"> + + <link + rel="stylesheet" + href="{{ site.baseurl }}/css/dottydoc.css" + > + <link rel="stylesheet" - href="{{ site.baseUrl }}/css/dottydoc.css" + href="{{ site.baseurl }}/css/color-brewer.css" > + {% for css in page.extraCSS %} <link rel="stylesheet" - href="{{ site.baseUrl }}/css/color-brewer.css" + href="{{ site.baseurl }}/{{ css }}" > + {% endfor %} </head> <body> @@ -47,7 +56,10 @@ integrity="sha384-BLiI7JTZm+JWlgKa0M0kGRpJbF2J8q+qreVrKBC47e3K6BW78kGLrCkeRX6I9RoK" crossorigin="anonymous" ></script> - <script src="{{ site.baseUrl }}/js/highlight.pack.js"></script> + <script src="{{ site.baseurl }}/js/highlight.pack.js"></script> + {% for js in page.extraJS %} + <script src="{{ site.baseurl }}/{{ js }}"></script> + {% endfor %} <script> $(document).ready(function() { $('pre code').each(function(i, block) { |