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