basic CSS: fix "highlight-" selector

This commit is contained in:
Matthias Geier 2020-07-19 20:42:46 +02:00
parent 5e6da19f0e
commit c5180a6d3f

View File

@ -693,7 +693,7 @@ pre {
overflow-y: hidden; /* fixes display issues on Chrome browsers */
}
pre, div[class|="highlight"] {
pre, div[class*="highlight-"] {
clear: both;
}
@ -704,7 +704,7 @@ span.pre {
hyphens: none;
}
div[class^="highlight-"] {
div[class*="highlight-"] {
margin: 1em 0;
}