fix broken links and better dark mode

2023-03-06 14:29:44 +01:00
parent 91d71c6dc7
commit fec7ff974f
7 changed files with 36 additions and 19 deletions
--- a/website/css/docs/style.css
+++ b/website/css/docs/style.css
@@ -32,7 +32,7 @@ html, body {
        'menu footer footer footer footer';
 }

-.docs-link {
+#doc-container a {
    color: blue;
 }

@@ -73,3 +73,6 @@ html, body {
    grid-area: header;
 }

+code {
+    font-size: 85%;
+}