github-mirror/fish-shell
2
0
Fork 0
mirror of https://github.com/fish-shell/fish-shell.git synced 2024-11-25 09:39:52 +08:00
Code Issues Actions 2 Packages Projects Releases Wiki Activity

docs: Remove some needless margins for nested lists

Browse Source 
This double-indented a nested list *and* added some gaps at the
bottom.

Other lists are unaffected
This commit is contained in:
Fabian Boehm 2023-06-28 16:29:14 +02:00
parent b043a1c35f
commit 9bcb4dcf70
1 changed files with 7 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
doc_src/python_docs_theme/static/pydoctheme.css
View File

@ -314,15 +314,21 @@ ul li, div.body li {
line-height: 2em;
}
ul.simple p {
ul.simple p, ol.simple p {
/* See "special features" list on index.html */
margin-bottom: 0;
margin-top: 0;
}
ul.simple > li:not(:first-child) > p {
margin-top: 0;
}
ul li dd {
/* nested lists will show up like this, the left margin is massive by default */
margin-left: 0;
}
form.inline-search input,
div.sphinxsidebar input {
border: 1px solid #999999;
@ -524,10 +530,6 @@ div.footer {
font-size: 12pt;
}
dl {
margin-bottom: 1em;
}
dl.envvar, dl.describe {
font-size: 11pt;
font-weight: normal;