mirrors/gstreamer
mirrors/gstreamer
1
1
Fork 0
mirror of https://gitlab.freedesktop.org/gstreamer/gstreamer.git synced 2025-04-26 03:56:16 +00:00
Code Issues 1 Projects Releases Wiki Activity

Update theme submodule

Browse source
This commit is contained in:
Mathieu Duponchelle 2017-04-03 00:40:20 +02:00
parent 2328263419
commit afd1027740
4 changed files with 3 additions and 24 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
hotdoc.json
View file

@ -9,6 +9,7 @@
"gstreamer-1.0" "gstreamer-1.0"
], ],
"project_name": "GStreamer Documentation", "project_name": "GStreamer Documentation",
"project_version": "1.0",
"sitemap": "sitemap.txt", "sitemap": "sitemap.txt",
"syntax_highlighting_activate": true, "syntax_highlighting_activate": true,
"devhelp_activate": true, "devhelp_activate": true,

22
theme/extra/templates/navbar.html
View file

@ -1,22 +0,0 @@
@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>

2
theme/hotdoc_bootstrap_theme

@ -1 +1 @@
Subproject commit bbf83edaf4083726579f29e4cd25e07fc724b599 Subproject commit 6f351a1465d6e2ff4e41addf315bd37e6d5215cf

2
theme/less/variables.less
View file

@ -357,7 +357,7 @@
//## //##
// Basics of a navbar // Basics of a navbar
@navbar-height: 35px; @navbar-height: 45px;
@navbar-padding-horizontal: floor((@grid-gutter-width / 2)); @navbar-padding-horizontal: floor((@grid-gutter-width / 2));
@navbar-margin-bottom: @line-height-computed; @navbar-margin-bottom: @line-height-computed;
@navbar-border-radius: @border-radius-base; @navbar-border-radius: @border-radius-base;