Alexander Graf 39bd7c55f6 doc: link next section at the end of each page ... This makes it easier to go through the documentation and it pushes readthedocs's advertising further apart from the content.		2018-01-13 19:15:32 +01:00
..
caption.html	doc: Page intro improvements	2017-11-14 11:18:30 +01:00
layout.html	doc: ownership verification tag	2017-11-17 10:06:53 +01:00
links.html	Current version and release date in doc sidebar	2017-12-21 13:53:06 +01:00
page.html	doc: link next section at the end of each page	2018-01-13 19:15:32 +01:00