IntenseWebs/sphinx
3
0
Fork 0
mirror of https://github.com/sphinx-doc/sphinx.git synced 2025-02-25 18:55:22 -06:00
Code Issues Packages Projects Releases Wiki Activity

Merge pull request #7986 from mgeier/css-highlight-selector

Browse Source 
basic CSS: fix "highlight-" selector
This commit is contained in:
Takeshi KOMIYA
2020-08-02 12:03:54 +09:00
committed by GitHub
parent 5e6da19f0e 416438366d
commit 4f56fad7b7
2 changed files with 3 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

1
CHANGES
View File

@@ -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
--------

4
sphinx/themes/basic/static/basic.css_t
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;
}