diff options
-rw-r--r-- | doc/style.css | 4 |
1 files changed, 4 insertions, 0 deletions
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; |