"gstreamer-1.0"
],
"project_name": "GStreamer Documentation",
+ "project_version": "1.0",
"sitemap": "sitemap.txt",
"syntax_highlighting_activate": true,
"devhelp_activate": true,
+++ /dev/null
-@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>
//##
// Basics of a navbar
-@navbar-height: 35px;
+@navbar-height: 45px;
@navbar-padding-horizontal: floor((@grid-gutter-width / 2));
@navbar-margin-bottom: @line-height-computed;
@navbar-border-radius: @border-radius-base;