merge with 3.3

This commit is contained in:
Georg Brandl 2013-10-13 09:56:24 +02:00
commit bcdb4fd83c

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 {