Dr. David A. Kunz b04c425c63 Make gutters configurable (#1967) ... * config option line numbers none * view tests * added tests * doc * comment * Make gutters configurable * docu * docu * rm none docu * order * order * precedence * simpler * rm todo * fixed clippy * order * double quotes * only allow diagnostics and line-numbers * tests * docu * format * rm short variant and more docu * performance improvements * typo * rename		2022-04-16 10:41:25 +09:00
..
src	Make gutters configurable (#1967)	2022-04-16 10:41:25 +09:00
theme	Update mdbook style and fix unreadable table head (#806)	2021-10-09 20:35:27 +09: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