From 9bcb4dcf70b928137823b0aec992f2425827076f Mon Sep 17 00:00:00 2001
From: Fabian Boehm <FHomborg@gmail.com>
Date: Wed, 28 Jun 2023 16:29:14 +0200
Subject: [PATCH] docs: Remove some needless margins for nested lists

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

Other lists are unaffected
---
 doc_src/python_docs_theme/static/pydoctheme.css | 12 +++++++-----
 1 file changed, 7 insertions(+), 5 deletions(-)

diff --git a/doc_src/python_docs_theme/static/pydoctheme.css b/doc_src/python_docs_theme/static/pydoctheme.css
index 59308c249..4c8b7dd71 100644
--- a/doc_src/python_docs_theme/static/pydoctheme.css
+++ b/doc_src/python_docs_theme/static/pydoctheme.css
@@ -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;