Update docs

2021-10-02 22:26:35 +02:00
parent 0381ccef64
commit 1d1ace096e
3 changed files with 24 additions and 2 deletions
--- a/docs/css/extra.css
+++ b/docs/css/extra.css
@@ -20,6 +20,19 @@ code.no-highlight {
    color: black;
 }

+div.gh-badge img {
+	margin: 0;
+	padding: 0;
+	height: 30px;
+}
+
+a.donate-badge img {
+	margin-top: 10;
+	margin-bottom: 0;
+	padding: 0;
+	height: 50px;
+}
+
 /* Definition List styles */

 dd {