Merge pull request #12138 from ethereum/docs-fix-index-link-appearance

Fix index link appearance in docs menu
This commit is contained in:
chriseth 2021-10-14 15:13:20 +02:00 committed by GitHub
commit 2493a98cb6
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
2 changed files with 12 additions and 2 deletions

View File

@ -75,3 +75,9 @@ html.transition *:after {
transition: ease-in-out 200ms !important;
transition-delay: 0 !important;
}
nav.wy-nav-side {
/* The default padding of 2em is too small and the "Keyword Index" link gets obscured
* by the version toggle. */
padding-bottom: 3em;
}

View File

@ -2,5 +2,9 @@
{% block menu %}
{{ super() }}
<ul>
<li>
<a href="{{ pathto('genindex') }}">Keyword Index</a>
</li>
</ul>
{% endblock %}