feat: add documentation, changeable shortcuts

2024-10-02 11:19:50 +02:00
parent c7309e047b
commit e7bcce328b
36 changed files with 318 additions and 10 deletions
--- a/docs/stylesheets/extra.css
+++ b/docs/stylesheets/extra.css
@@ -0,0 +1,5 @@
+.md-typeset .admonition,
+.md-typeset details {
+  border-width: 0;
+  border-left-width: 4px;
+}