diff options
Diffstat (limited to 'spec/_layouts/default.yml')
-rw-r--r-- | spec/_layouts/default.yml | 41 |
1 files changed, 39 insertions, 2 deletions
diff --git a/spec/_layouts/default.yml b/spec/_layouts/default.yml index f78232f461..64ba4a1639 100644 --- a/spec/_layouts/default.yml +++ b/spec/_layouts/default.yml @@ -2,6 +2,10 @@ <html> <head> <meta http-equiv='Content-Type' content='text/html; charset=utf-8' /> + + <link rel="icon" type="image/png" href="public/favicon.ico"> + <link rel="shortcut icon" type="image/png" href="public/favicon.ico"> + <script type="text/x-mathjax-config"> MathJax.Hub.Config({ tex2jax: { @@ -14,7 +18,9 @@ <script type="text/javascript" src="http://cdn.mathjax.org/mathjax/2.3-latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML"></script> <script src="//ajax.googleapis.com/ajax/libs/jquery/1.11.0/jquery.min.js"></script> <link rel="stylesheet" href="http://cdnjs.cloudflare.com/ajax/libs/highlight.js/8.2/styles/default.min.css"> + <link rel="stylesheet" href="public/octicons/octicons.css"> <script src="public/highlight/highlight.pack.js"></script> + <script src="public/scripts/navigation.js"></script> <!-- need to use include to see value of page.chapter variable --> <style type="text/css"> @@ -39,15 +45,46 @@ hljs.initHighlighting(); $("pre nobr").addClass("fixws"); }) + + // and finally TOC generation + $(document).ready(function() { + $('.toc').navigation(); + }) </script> <link rel="stylesheet" type="text/css" href="public/stylesheets/screen.css"> + <link rel="stylesheet" type="text/css" media="print" href="public/stylesheets/print.css"> <title>{{ page.title }}</title> </head> <body> - +<div id="header"> +<a alt="The Scala Language Specification" href="{{site.baseurl}}/"><img id="scala-logo" src="public/images/scala-logo-red-spiral-dark.png" /> +<h1 class="no-numbering">Language Specification</h1></a> +</div> +<div id="container"> +<div id="navigation"> +<ol> + {% assign sorted_pages = site.pages | sort:"name" %} + {% for post in sorted_pages %} + {% if post.chapter >= 0 %} + {% if page.url == post.url %} + <li class="active-page"> + <a href="{{site.baseurl}}{{ post.url }}"> {{ post.title }}</a> + <div class="toc"></div> + </li> + {% else %} + <li> + <a href="{{site.baseurl}}{{ post.url }}"> {{ post.title }}</a> + </li> + {% endif %} + {% endif %} + {% endfor %} +</ol> +</div> +<div id="content-container"> {{ content }} - +</div> +</div> </body> </html> |