Alexander Graf d533c60824 doc: Switch to mobile-friendlier bootstrap theme ... It seems to be better supported than Alabaster and is easier to be configured to look good on both a phone and a desktop.		2018-03-28 19:39:58 +02:00
..
layout.html	doc: Switch to mobile-friendlier bootstrap theme	2018-03-28 19:39:58 +02:00
navbar.html	doc: Switch to mobile-friendlier bootstrap theme	2018-03-28 19:39:58 +02:00
page.html	doc: link next section at the end of each page	2018-01-13 19:15:32 +01:00