Ivan Blinkov 80873d79e3 [docs] tuning of <details> tag, search menu colours and hidden pages (#10313) ... * improve hidden page title * adjust docsearch menu colors * enable pymdownx.details * some <details> styling * remove useless example		2020-04-16 21:03:52 +03:00
..
docs	[docs] tuning of <details> tag, search menu colours and hidden pages (#10313)	2020-04-16 21:03:52 +03:00
index	Replace one benchmark link	2020-04-16 15:53:07 +03:00
install	Fix docs for .tgz install (#9780)	2020-03-20 19:00:11 +03:00
base.html	Custom mkdocs theme (#9874)	2020-03-30 11:25:29 +03:00
common_css.html	Custom mkdocs theme (#9874)	2020-03-30 11:25:29 +03:00
common_js.html	Docs fixes/improvements (#10090)	2020-04-07 18:35:55 +03:00
common_meta.html	Website performance improvements (#10175)	2020-04-10 16:56:25 +03:00
footer.html	Remove excessive }	2020-04-10 12:32:37 +03:00