Marc Auberer 30765a4511 docs: tune performance and theming of documentation (#2164) ... * docs: tune performance and theming of documentation * docs: enable auto-toggle based on user preference		2021-04-09 11:34:39 -03:00
..
home.html	docs: tune performance and theming of documentation (#2164)	2021-04-09 11:34:39 -03:00
main.html	docs: some other improvements (#1504)	2020-05-10 19:37:28 -03:00