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

This commit is contained in:
Georg Brandl 2013-10-13 09:56:20 +02:00
parent 1e32011306
commit 5d5b375c84

View file

@ -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 {