Override the whole navbar.

We want a different behaviour for the home link, as we
want it to redirect to gstreamer.freedesktop.org (for now).

diff --git a/extra_theme/templates/brand-logo.html b/extra_theme/templates/brand-logo.html
deleted file mode 100644 (file)
index dcf36e6..0000000
--- a/extra_theme/templates/brand-logo.html
+++ /dev/null
@@ -1,3 +0,0 @@
-@require(assets_path)
-
-<img src="@assets_path/images/gstreamer-logo.svg" alt="Home">

diff --git a/extra_theme/templates/navbar.html b/extra_theme/templates/navbar.html
new file mode 100644 (file)
index 0000000..cd94a56
--- /dev/null
+++ b/extra_theme/templates/navbar.html
@@ -0,0 +1,22 @@
+@require(assets_path)
+
+<nav class="navbar navbar-fixed-top navbar-default">
+       <div class="container-fluid">
+               <div class="navbar-header">
+                       <button type="button" class="navbar-toggle collapsed" data-toggle="collapse" data-target="#navbar-wrapper" aria-expanded="false">
+                               <span class="sr-only">Toggle navigation</span>
+                               <span class="icon-bar"></span>
+                               <span class="icon-bar"></span>
+                               <span class="icon-bar"></span>
+                       </button>
+                       <a href="https://gstreamer.freedesktop.org/" class="hotdoc-navbar-brand">
+                               <img src="@assets_path/images/gstreamer-logo.svg" alt="Home">
+                       </a>
+               </div>
+               <div class="navbar-collapse collapse" id="navbar-wrapper">
+                       <ul class="nav navbar-nav" id="menu">
+                               @include("navbar_links.html")
+                       </ul>
+               </div>
+       </div>
+</nav>