diff --git a/doc/_themes/sphinx13/static/sphinx13.css b/doc/_themes/sphinx13/static/sphinx13.css index ec1642d2c..e8a96ab2a 100644 --- a/doc/_themes/sphinx13/static/sphinx13.css +++ b/doc/_themes/sphinx13/static/sphinx13.css @@ -361,6 +361,10 @@ aside.topic { background-color: #f8f8f8; } +p.topic-title { + margin-top: 0; +} + table { border-collapse: collapse; margin: 0 -0.5em 0 -0.5em;