Ivan Blinkov ab150f96a1 [website] get rid of remnants of old markup (from benchmark pages) (#10412) ... * rm outdated nginx config * get rid of most outdated markup of benchmark.html * reformat js * get rid of ru comments + wrap benchmark.js in a function call * split benchmark results into separate files * adjust links to benchmarks * refactor hardware benchmarks as well * adjust links * fix filtering for hardware * additional markup tuning		2020-04-22 14:30:33 +03:00
..
base.css	[website] get rid of remnants of old markup (from benchmark pages) (#10412)	2020-04-22 14:30:33 +03:00
bootstrap.css	Workaround for top nav issue	2020-03-31 20:07:21 +03:00
docs.css	[docs] tuning of <details> tag, search menu colours and hidden pages (#10313)	2020-04-16 21:03:52 +03:00
docsearch.css	Custom mkdocs theme (#9874)	2020-03-30 11:25:29 +03:00
highlight.css