Merge "Hide duplicate titles and empty tocs in generated content"

This commit is contained in:
Jenkins 2016-01-25 14:52:06 +00:00 committed by Gerrit Code Review
commit 0be82d9c73
3 changed files with 22 additions and 3 deletions

View File

@ -39,8 +39,7 @@ ga('send', 'pageview');
<div class="row">
<div class="col-lg-12">
<div class="docs-top-contents">
<h5><a href="{{ pathto(master_doc) }}">Contents</a></h5>
{{ toc }}
{% include 'localtoc.html' %}
</div>
<div class="docs-body">
{% block body %}{% endblock %}

View File

@ -0,0 +1,4 @@
{%- if display_toc %}
<h5><a href="{{ pathto(master_doc) }}">Contents</a></h5>
{{ toc }}
{%- endif %}

View File

@ -4127,7 +4127,7 @@ a.docs-edit i {
.docs-top-contents ul {
list-style: none;
padding: 3px;
margin: 0 0 0 10px; }
margin: 0 0 5px 0; }
.docs-top-contents ul li a {
text-decoration: underline; }
@ -4641,3 +4641,19 @@ table.highlighttable {
padding-left: 0px;
margin-left: 20px;
}
.docs-body .section h1 {
display: none;
}
.docs-top-contents a[href="#"] {
display: none;
}
.docs-top-contents h5 {
margin-bottom: 10px;
}
.docs-top-contents {
padding: 10px;
}