Lars Eggert efb9f135c3 fix: Apply various suggestions from @martinthomson (#4849) ... * With bs 5.2.3, no need to rewrite dots in ids and hrefs. * Remove leftover console.log(). * Inherit color for <code> * Don't wrap boilerplate URLs; makes it look more like text version.		2022-12-08 08:58:28 -06:00
..
css	fix: Apply various suggestions from @martinthomson (#4849)	2022-12-08 08:58:28 -06:00
images	feat: better htmlization views (#4825)	2022-12-02 15:17:14 -06:00
js	fix: Apply various suggestions from @martinthomson (#4849)	2022-12-08 08:58:28 -06:00
.gitignore	More fixes	2021-12-08 08:55:45 +00:00