matthew/enhanced-discord.py
1
0
Fork 0
Code Issues 4 Pull Requests 21 Projects Releases Wiki Activity

Make the style of external and internal cross-references consistent

Browse Source
This commit is contained in:
jack1142 2021-04-10 10:03:22 +02:00 committed by GitHub
parent 4591705b55
commit 4fee632526
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 6 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
docs/_static/style.css vendored
View File

@ -894,11 +894,15 @@ dl.field-list {
display: block;
}
/* internal references are forced to bold for some reason */
a.reference.internal > strong {
/* cross-references are forced to bold for some reason */
a.reference > strong {
font-weight: unset;
font-family: var(--monospace-font-family);
}
a.reference.pep > strong,
a.reference.rfc > strong {
font-family: inherit;
}
/* exception hierarchy */