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

basic CSS: remove margin-bottom in last element of <dl>

Browse Source
This commit is contained in:
Matthias Geier 2020-05-12 14:56:03 +02:00
parent aad6c2d489
commit 2c8de2b41e
1 changed files with 5 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
sphinx/themes/basic/static/basic.css_t
View File

@ -575,6 +575,11 @@ dd {
margin-left: 30px; margin-left: 30px;
} }
dl > dd:last-child,
dl > dd:last-child > :last-child {
margin-bottom: 0;
}
dt:target, span.highlighted { dt:target, span.highlighted {
background-color: #fbe54e; background-color: #fbe54e;
} }