From 6e426cefbd63b60e2d768cc348502193cd2e6085 Mon Sep 17 00:00:00 2001
From: Aaron Gyes <var.log@icloud.com>
Date: Fri, 24 Dec 2021 16:01:53 -0800
Subject: [PATCH] HTML docs theme: increase line spacing for synopsis section

---
 doc_src/python_docs_theme/static/pydoctheme.css | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/doc_src/python_docs_theme/static/pydoctheme.css b/doc_src/python_docs_theme/static/pydoctheme.css
index 97fea3f04..7569f3b0b 100644
--- a/doc_src/python_docs_theme/static/pydoctheme.css
+++ b/doc_src/python_docs_theme/static/pydoctheme.css
@@ -212,10 +212,14 @@ tr, code, pre {
     background-color: inherit;
 }
 
-tt, code, pre, dl > dt span ~ em, #synopsis p {
+tt, code, pre, dl > dt span ~ em, #synopsis p, #synopsis code {
     font-family: "Source Code Pro", "DejaVu Sans Mono", Menlo, "Ubuntu Mono", Consolas, Monaco, "Lucida Console", monospace, fixed;
 }
 
+#synopsis .line {
+    line-height: 150%;
+}
+
 pre, div[class*="highlight-"] {
     /* For some reason sphinx since 3.1.2 sets "clear: both" here, which breaks in interesting ways */
     clear: unset;