diff --git a/docs/site/css/main.css b/docs/site/css/main.css index ec749585787..12d098c26ef 100755 --- a/docs/site/css/main.css +++ b/docs/site/css/main.css @@ -799,6 +799,7 @@ ul { .param-parent > div { font-size: 80%; line-height: 50%; + padding-top: 0.7em; } .param-optional .param-types {