Lots of development instructions, Makefile things

2026-10-12 14:55:22 +00:00 · 2022-03-18 13:53:52 -04:00
parent 6cd31502e7
commit c2036975fa
7 changed files with 1485 additions and 1160 deletions
@@ -8,6 +8,10 @@
    width: unset !important;
 }

+.md-sidebar {
+    width: 12.5rem !important;
+}
+
 .md-typeset h4 {
    font-weight: 500 !important;
    margin: 0 !important;