Ivan Tham 2f980471f8 Make gutters padding automatic (#3163) ... Remove padding gutter type, and automatically add 1 padding if gutters is non-empty.		2022-07-26 10:08:09 +09:00
..
src	Make gutters padding automatic (#3163)	2022-07-26 10:08:09 +09:00
theme	fix typos (#2304)	2022-04-27 14:21:20 -05:00
.gitignore	Add book/ (mdbook based user guide)	2021-04-05 15:48:08 +09:00
book.toml	Improve docs, fix up a few highlight scopes	2021-09-07 13:03:48 +09:00