Commit Graph

4 Commits

Author SHA1 Message Date
Jethro Kuan
6dc316c450 (doc): fix menu-comment styling (#1273) 2020-11-14 14:17:08 +08:00
Jethro Kuan
d4c875b53b (doc): doc stylistic changes (#1262)
- style tables properly
- reduce pre font-size
2020-11-12 15:40:27 +08:00
Jethro Kuan
910b37268e (doc): make manual single-page (#1257)
This should make things easier to browse/search for. Also simplify styling.
2020-11-12 14:32:59 +08:00
Jethro Kuan
d2654f6023 (docs): add a nice default theme (#667) 2020-05-18 19:15:12 +08:00