#287: add better background color for <tt> in warnings and notes.

This commit is contained in:
Georg Brandl 2010-01-02 21:20:25 +01:00
parent 3c09b7ab8f
commit c4cccb33ea

View File

@ -241,3 +241,11 @@ tt {
padding: 0 1px 0 1px;
font-size: 0.95em;
}
.warning tt {
background: #efc2c2;
}
.note tt {
background: #d6d6d6;
}