update

docs/_includes/header.html

@@ -0,0 +1,18 @@
+<aside>
+	<div class="container">
+		<nav>
+			<ul>
+				{% for page in site.pages %} {% if page.title %}
+				<li><a href="{{ page.url | prepend: site.baseurl }}">{{ page.title }}</a></li>
+				{% endif %} {% endfor %}
+				<li><a href="{{ "/blog" | prepend: site.baseurl }}">Blog</a></li>
+			</ul>
+			</li>
+			</ul>
+		</nav>
+	</div>
+</aside>
+
+<header>
+	<h1><a href="{{ site.baseurl }}">{{ site.title }}</a></h1>
+</header> 

docs/_includes/navbar.md

@@ -1,81 +0,0 @@
-{% raw %}
-<div class="nav">
-<nav>
-{% endraw %}
-
-#### First steps
-
-_Install and configure Coedit._
-
-* [Build](build.md)
-* [Setup](setup.md)
-
-#### Tutos and guides
-
-* [Usage in videos](videos.md)
-
-#### Features
-
-_General features or concepts that are not wrapped in a widget_
-
-* [Completion deamon](features_dcd.md)
-* [Projects](features_projects)
-* [Runnable modules](features_runnables)
-* [Symbolic strings](features_symbolic_strings)
-
-#### Menu reference
-
-_Description of each entry in the main menu. May redirect to a specific widget page._
-
-* [File](menu_file)
-* [Debugger](widgets_gdb_commander)
-* [Project](features_projects)
-* [Project groups](widgets_project_groups)
-
-#### Options categories
-
-_Full description of Coedit options. May redirect to a specific widget page._
-
-* [Application](options_application)
-* [Code metrics](options_code_metrics)
-* [Compiler paths](options_compilers_paths)
-* [Debugger](widgets_gdb_commander)
-* [DUB build](options_dub_build)
-* [Editor](widgets_editor)
-* [Editor pages](options_editor_pages)
-* [Messages](widgets_messages)
-* [Mini explorer](widgets_mini_explorer)
-* [Profile viewer](widgets_profile_viewer)
-* [Runnable modules](features_runnables)
-* [Shortcuts editor](options_shortcuts_editor)
-* [Static macros](widgets_editor)
-* [Symbol list](widgets_symbol_list)
-* [Todo list](widgets_todo_list)
-
-#### Widgets
-
-_Description of each widget._
-
-* [About box](widgets_about)
-* [DFMT commander](widgets_dfmt_commander)
-* [DUB project editor](widgets_dub_project_editor)
-* [CE project editor](widgets_ce_project_editor)
-* [Custom tools](widgets_custom_tools)
-* [Editor](widgets_editor)
-* [GDB commander](widgets_gdb_commander)
-* [Library manager](widgets_library_manager)
-* [Mini explorer](widgets_mini_explorer)
-* [Messages](widgets_messages)
-* [Options editor](widgets_options_editor)
-* [Profile viewer](widgets_profile_viewer)
-* [Project groups](widgets_project_groups)
-* [Project inspector](widgets_project_inspector)
-* [Process input](widgets_process_input)
-* [Search](widgets_search)
-* [Symbol list](widgets_symbol_list)
-* [Todo list](widgets_todo_list)
-
-{% raw %}
-</nav>
-</div>
-{% endraw %}