diff --git a/docs/_includes/header.html b/docs/_includes/header.html index 9017454..281c686 100644 --- a/docs/_includes/header.html +++ b/docs/_includes/header.html @@ -1,30 +1 @@ - - - - {%- 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 -%} - - {%- if titles_size > 0 -%} - - - - - - - - - - - - {%- 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 -%} - - \ No newline at end of file +