Commit Graph

3 Commits

Author SHA1 Message Date
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