--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/design/_includes/nav.html	Tue May 23 16:42:07 2017 +0200
@@ -0,0 +1,3 @@
+<nav class="navbar navbar-light bg-faded sticky-top">
+  <a class="navbar-brand" href="#">Navbar</a>
+</nav>