Fix a small CSS glitch with deprecated blocks and Sphinx 1.2.

8a4b1ba9 · Georg Brandl · 90cc7e87 · 8a4b1ba9
Commit 8a4b1ba9 authored Oct 13, 2013 by Georg Brandl
Hide whitespace changes
Inline Side-by-side

Showing with 5 additions and 1 deletion

Doc/tools/sphinxext/static/basic.css Doc/tools/sphinxext/static/basic.css +5 -1

No files found.
--- a/Doc/tools/sphinxext/static/basic.css
+++ b/Doc/tools/sphinxext/static/basic.css
@@ -337,7 +337,11 @@ dl.glossary dt {
 .deprecated, .deprecated-removed {
    background-color: #ffe4e4;
    border: 1px solid #f66;
-    padding: 7px
+    padding: 7px;
+}
+
+div.deprecated p {
+    margin-bottom: 0;
 }

 .system-message {