Convert to zensical
47d45dbb
Add a custom header
acfe9718
Fix colors
2c3b0c28
Remove underlines; futz with colors; restore some nav styling
bbcd2622
Drop mkdocs from CI
f9e38f02
Tweaks for mobile
94a71399
Fix search; fix zensical dependency
9dc159f6
Reviewers
No reviews
Assignees
No one assigned
Labels
documentation
Milestone
No milestone
Login to write a write a comment.
Login via GitHub