First step in migrating to gulp
Sort out intro to first page
Add pagination (next/prev) buttons
Build
Use the acutal titles in the toc
Mobile friendly toc functionality in single pager
Nicer button for toc menu
Fade out text when showing toc
Allow closing of toc by clicking where content used to be
Livereload and static file server
TOC sidebar needs a min-height to always stretch
Open toc on single by clicking anywhere on the bar
Styling toc in single
Hide/show toc content when min-/maximized to avoid accidental clicks
More subtle styling for single toc
Use media queries to 'stick' toc in single page when screen size is large enough
Add margins/paddings to single pager
Close toc when resizing window
Move asset source files into src directory
Let specific header create body instead of common, so that we can tuck in an id