Thierry Carrez c3bf0d1f62 Add an option to disable global TOC section ... On some sites (like the governance site) the navigation between pages is included in the page content itself, making the global section of the TOC unnecessary. This adds a new theme option (display_global_toc_section) to allow to disable it. Change-Id: Ib6fb3bd1a6a776be06bc09e2e4183ca909ea7b60		2018-09-26 15:25:45 +02:00
..
theme	Add an option to disable global TOC section	2018-09-26 15:25:45 +02:00
__init__.py	Mark some functions as private	2018-02-15 16:22:00 +00:00
ext.py	log details of html context	2018-09-17 13:00:57 -04:00
paths.py	Move code out of '__init__'	2018-02-15 16:18:28 +00:00
version.py	Add reno for release-notes	2015-11-10 08:37:48 +01:00