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

[docs] improve RTD version selector (#12460)

Browse Source 
ensure the border-radius is applied correctly
This commit is contained in:
Chris Sewell 2024-06-22 14:50:38 +02:00 committed by GitHub
parent 93e4eea307
commit c5bd2d42c5
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
1 changed files with 6 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
doc/_themes/sphinx13/static/sphinx13.css vendored
View File

@ -10,6 +10,7 @@
--colour-todo-bg: #e0c7ff;
--colour-text: #333;
--colour-links-light: #057;
--admonition-radius: 3px;
}
body {
@ -339,7 +340,7 @@ div.admonition, div.warning {
font-size: 0.9em;
margin: 1em 0 1em 0;
border: 1px solid #86989B;
border-radius: 3px;
border-radius: var(--admonition-radius);
background-color: #f7f7f7;
padding: 1rem;
}
@ -359,7 +360,7 @@ div.warning > p.admonition-title {
background-color: #dddddd;
margin: -1rem -1rem 0.8rem -1rem;
padding: 0.3rem 1rem;
border-radius: 3px 3px 0 0;
border-radius: var(--admonition-radius) var(--admonition-radius) 0 0;
}
div.important > p.admonition-title,
@ -427,18 +428,19 @@ div.viewcode-block:target {
.rst-versions.rst-badge {
background-color: #f7f7f7;
border: 1px solid var(--colour-sphinx-blue);
border-radius: 3px;
border-radius: var(--admonition-radius);
color: var(--colour-sphinx-blue);
}
.rst-versions .rst-current-version {
background-color: #f7f7f7;
border-radius: 3px 3px 0 0;
border-radius: var(--admonition-radius);
color: var(--colour-sphinx-blue);
}
.rst-versions .rst-current-version .fa {
color: var(--colour-sphinx-blue);
}
.rst-versions .rst-other-versions {
border-radius: 0 0 var(--admonition-radius) var(--admonition-radius);
border-top: 1px solid var(--colour-sphinx-blue);
background-color: #f7f7f7;
color: var(--colour-text);