Julien Robert 0dbae701f0 docs: minor documentation improvements (#13594) ... * updates * rename `sh` to `shell` for syntax coloring * keep navbar the same on mobile		2022-10-19 14:56:29 +02:00
..
base.css	feat: migrate to docusaurus (#13471)	2022-10-10 14:01:53 +00:00
custom.css	docs: minor documentation improvements (#13594)	2022-10-19 14:56:29 +02:00
fonts.css	docs: small ui fixes (#13546)	2022-10-13 19:58:25 +00:00