adding github stars to docs menu

This commit is contained in:
Mahmoud Hashemi 2015-04-11 03:12:32 -07:00
parent 83561ac43a
commit 2810b97eae
1 changed files with 5 additions and 0 deletions

5
docs/_templates/page.html vendored Normal file
View File

@ -0,0 +1,5 @@
{% extends "!page.html" %}
{% block menu %}
{{ super() }}
<iframe src="https://ghbtns.com/github-btn.html?user=mahmoud&repo=boltons&type=star&count=true&size=medium" frameborder="0" scrolling="0" width="160px" height="30px" style="margin-left: 23px; margin-top: 10px;"></iframe>
{% endblock %}