Merge pull request #12481 from alichraghi/patch-1

docs: add padding between functions list
2022-08-23 15:48:35 +02:00
parent 13e502b89b 51b2aa1643
commit 102a6e9e9c
1 changed files with 4 additions and 0 deletions
--- a/lib/docs/index.html
+++ b/lib/docs/index.html
@@ -352,6 +352,10 @@
        box-shadow: inset 0 -0.2em 0 #c6cbd1;
        cursor: default;
      }
+      
+      #listFns > div {
+        padding-bottom: 10px;
+      }

      #listFns dt {
        font-family: var(--mono);