tiny improvements to documentation

2025-12-14 07:02:24 +00:00 · 2025-06-26 12:39:23 +02:00
parent 9cf74f7198
commit ab4d763304
8 changed files with 70 additions and 42 deletions
--- a/docs/style.css
+++ b/docs/style.css
@@ -0,0 +1,10 @@
+body .md-main {
+  h1 {
+    font-weight: bold;
+    color: var(--md-typeset-color);
+  }
+}
+
+.md-tabs {
+  box-shadow: 0px 0 20px -10px black;
+}