basic theme: set "clear: both" on "highlight*" divs

See #7484.
This commit is contained in:
Matthias Geier 2020-04-23 14:29:20 +02:00
parent 29a343b888
commit 03be040ca8

View File

@ -327,7 +327,7 @@ p.sidebar-title {
font-weight: bold; font-weight: bold;
} }
div.admonition, div.topic, pre { div.admonition, div.topic, pre, div[class|="highlight"] {
clear: both; clear: both;
} }