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
..
style.css	doc: Switch to mobile-friendlier bootstrap theme	2018-03-28 19:39:58 +02:00