From 51b2aa16438bccda8b05a07ea3b1c32021731c12 Mon Sep 17 00:00:00 2001
From: Ali Chraghi <63465728+alichraghi@users.noreply.github.com>
Date: Thu, 18 Aug 2022 22:02:02 +0430
Subject: [PATCH] docs: add padding between functions list

---
 lib/docs/index.html | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/lib/docs/index.html b/lib/docs/index.html
index 236923c1d8..b2a443b253 100644
--- 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);