diff --git a/docs/css/extra.css b/docs/css/extra.css index 3925bea..527881e 100644 --- a/docs/css/extra.css +++ b/docs/css/extra.css @@ -23,14 +23,14 @@ code.no-highlight { div.gh-badge img { margin: 0; padding: 0; - height: 30px; + height: 25px; } a.donate-badge img { margin-top: 10; margin-bottom: 0; padding: 0; - height: 40px; + height: 35px; } /* Definition List styles */