From c5180a6d3f5aa79c22106176b6405c7b18cc4a88 Mon Sep 17 00:00:00 2001 From: Matthias Geier Date: Sun, 19 Jul 2020 20:42:46 +0200 Subject: [PATCH 1/2] basic CSS: fix "highlight-" selector --- sphinx/themes/basic/static/basic.css_t | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/sphinx/themes/basic/static/basic.css_t b/sphinx/themes/basic/static/basic.css_t index a22ef80d471..0a71a7a91af 100644 --- a/sphinx/themes/basic/static/basic.css_t +++ b/sphinx/themes/basic/static/basic.css_t @@ -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; } From 416438366d0df4cef446e302a2b8a7fd9f1ae5be Mon Sep 17 00:00:00 2001 From: Matthias Geier Date: Tue, 21 Jul 2020 21:35:49 +0200 Subject: [PATCH 2/2] Update CHANGES for PR #7986 --- CHANGES | 1 + 1 file changed, 1 insertion(+) diff --git a/CHANGES b/CHANGES index eadace6dcd4..2b54e9170be 100644 --- a/CHANGES +++ b/CHANGES @@ -86,6 +86,7 @@ Bugs fixed * #7619: Duplicated node IDs are generated if node has multiple IDs * #2050: Symbols sections are appeared twice in the index page * #8017: Fix circular import in sphinx.addnodes +* #7986: CSS: make "highlight" selector more robust Testing --------