Update sphinx_rtd_theme

2025-01-04 00:53:19 +00:00 · 2016-04-11 23:16:07 +09:00 · 2016-04-11 23:16:07 +09:00 · 59c625b1fd
commit 59c625b1fd
parent 9c04cb2995
2 changed files with 2 additions and 1 deletions
--- a/doc/sphinx_themes/sphinx_rtd_theme/layout.html
+++ b/doc/sphinx_themes/sphinx_rtd_theme/layout.html
@ -81,6 +81,7 @@

 <body class="wy-body-for-nav" role="document">

+  {% block extrabody %} {% endblock %}
  <div class="wy-grid-for-nav">

    {# SIDE NAV, TOGGLES ON MOBILE #}
--- a/doc/sphinx_themes/sphinx_rtd_theme/static/css/theme.css
+++ b/doc/sphinx_themes/sphinx_rtd_theme/static/css/theme.css