diff options
| -rw-r--r-- | Doc/tools/sphinxext/static/basic.css | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/Doc/tools/sphinxext/static/basic.css b/Doc/tools/sphinxext/static/basic.css index e76eb6e..e2ba6d2 100644 --- a/Doc/tools/sphinxext/static/basic.css +++ b/Doc/tools/sphinxext/static/basic.css @@ -352,8 +352,12 @@ p.deprecated { border: 1px solid #ccc; } -.impl-detail p { - margin: 0; +.impl-detail .compound-first { + margin-top: 0; +} + +.impl-detail .compound-last { + margin-bottom: 0; } /* -- code displays --------------------------------------------------------- */ |