diff --git a/default.html b/default.html new file mode 100644 index 0000000..d6e6105 --- /dev/null +++ b/default.html @@ -0,0 +1,75 @@ + + + +{% include head.html %} + +
+ +
+ +
+ {% unless page.url == "/" %} + {% if page.parent %} + + {% endif %} + {% endunless %} +
+ {{ content }} + + {% if page.has_children == true %} +
+

Table of contents

+ {% assign children_list = site.pages | sort:"nav_order" %} +
    + {% for child in children_list %} + {% if child.parent == page.title and child.title != page.title %} +
  • + {{ child.title }} +
  • + {% endif %} + {% endfor %} +
+ {% endif %} +
+
+
+
+ diff --git a/home.html b/home.html new file mode 100644 index 0000000..5e71126 --- /dev/null +++ b/home.html @@ -0,0 +1,5 @@ +--- +layout: default +--- + +{{ content }} diff --git a/post.html b/post.html new file mode 100644 index 0000000..5e71126 --- /dev/null +++ b/post.html @@ -0,0 +1,5 @@ +--- +layout: default +--- + +{{ content }} diff --git a/specs/stable/index.md b/specs/stable/index.md index 7c57817..b7c0e2a 100644 --- a/specs/stable/index.md +++ b/specs/stable/index.md @@ -3,7 +3,7 @@ layout: default title: Stable specs nav_order: 1 has_children: true -permalink: stable +permalink: /stable has_toc: true ---