diff --git a/docs/theme/main.html b/docs/theme/main.html index e84c4dad..1b52e6f3 100644 --- a/docs/theme/main.html +++ b/docs/theme/main.html @@ -43,7 +43,7 @@ {% block next_prev %} {% endblock %} {% block repo %}