diff --git a/docs/_includes/header.html b/docs/_includes/header.html new file mode 100644 index 0000000..d01e9b6 --- /dev/null +++ b/docs/_includes/header.html @@ -0,0 +1,32 @@ + + + + {%- assign default_paths = site.pages | map: "path" -%} + {%- assign page_paths = site.header_pages | default: default_paths -%} + {%- assign titles_size = site.pages | map: 'title' | join: '' | size -%} + {{ site.title | escape }} + + {%- if titles_size > 0 -%} + + + + + + + + + + + + Discussion Forum + {%- for path in page_paths -%} + {%- assign my_page = site.pages | where: "path", path | first -%} + {%- if my_page.title -%} + {{ my_page.title | escape }} + {%- endif -%} + {%- endfor -%} + + + {%- endif -%} + +