diff --git a/lib/docs/index.html b/lib/docs/index.html index 616ba54ab37a5f7becf187c5febe6c292bb64270..ddc0ecbfb2668f98d676b546854b9f5d32f00ce1 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);