diff --git a/doc/style.css b/doc/style.css index 595a38dfa..5787ef65e 100644 --- a/doc/style.css +++ b/doc/style.css @@ -30,6 +30,10 @@ border-bottom: 0; } +div.inlinecontent { + margin-top: .4em; +} + .actions li { display: inline; padding: .2em .4em;