diff options
Diffstat (limited to 'docs/_layouts/default.html')
-rw-r--r-- | docs/_layouts/default.html | 23 |
1 files changed, 23 insertions, 0 deletions
diff --git a/docs/_layouts/default.html b/docs/_layouts/default.html new file mode 100644 index 000000000..19cd7ce59 --- /dev/null +++ b/docs/_layouts/default.html @@ -0,0 +1,23 @@ +<html> + <head> + <title>Dotty - {{ page.title }}</title> + <link rel="shortcut icon" type="image/png" href="/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"> + </head> + <body> + <div id="container"> + <div id="scala-logo-mobile"> + {% include scala-logo.html %} + </div> + <div id="content"> + {{ content }} + </div> + <div id="toc"> + {% include toc.html %} + </div> + </div> + </body> + <script src="/js/highlight.pack.js"></script> + <script>hljs.initHighlightingOnLoad();</script> +</html> |