Alexander Graf 3823b1e593 Documentation Template: Use ARIA roles ... This fixes the full text functionality of the search.		2020-07-31 11:41:22 +02:00
..
layout.html	Documentation Template: Use ARIA roles	2020-07-31 11:41:22 +02:00
page.html	doc: link next section at the end of each page	2018-01-13 19:15:32 +01:00
search.html	Fixes and enhancements to documentation theme	2019-01-01 14:23:08 +01:00