diff options
Diffstat (limited to 'docs/_layouts/default.html')
-rw-r--r-- | docs/_layouts/default.html | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/docs/_layouts/default.html b/docs/_layouts/default.html index d55fb4dfa..c202df7d5 100644 --- a/docs/_layouts/default.html +++ b/docs/_layouts/default.html @@ -1,9 +1,9 @@ <html> <head> <title>Dotty - {{ page.title }}</title> - <link rel="shortcut icon" type="image/png" href="/images/favicon.png"/> + <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="/css/main.css"> + <link rel="stylesheet" href="{{ site.baseurl }}/css/main.css"> </head> <body> <div id="container"> @@ -18,13 +18,13 @@ </div> </div> </body> - <script src="/js/highlight.pack.js"></script> + <script src="{{ site.baseurl }}/js/highlight.pack.js"></script> <script language="javascript"> hljs.initHighlightingOnLoad(); var x = document.links.length; for (i = 0; i < x; i++) { var thisHREF = document.links[i].href; - if (thisHREF.indexOf(window.location.hostname) > -1) thisHREF = thisHREF.replace(".md","/").replace("/index/","/"); + if (thisHREF.indexOf(window.location.hostname) > -1) thisHREF = thisHREF.replace(".md",".html") document.links[i].setAttribute('href', thisHREF); } </script> |