diff options
Diffstat (limited to 'Doc/tools')
| -rw-r--r-- | Doc/tools/templates/layout.html | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/Doc/tools/templates/layout.html b/Doc/tools/templates/layout.html index 3781172..c399224 100644 --- a/Doc/tools/templates/layout.html +++ b/Doc/tools/templates/layout.html @@ -21,5 +21,14 @@ {% if pagename == 'whatsnew/changelog' and not embedded %} <script type="text/javascript" src="{{ pathto('_static/changelog_search.js', 1) }}"></script>{% endif %} {% endif %} + + {# custom CSS; used in asyncio docs! #} + <style> + @media only screen {{ "{" }} + table.full-width-table {{ "{" }} + width: 100%; + {{ "}" }} + {{ "}" }} + </style> {{ super() }} {% endblock %} |