Andreas Jaeger ab2b99c978 Cleanup conf.py
Adapt for current theme options, remove obsolete code.

Change-Id: I900fa3914463147acaf40e81f54f2f80abcac048
2017-07-04 13:47:08 +02:00
..
2016-08-22 10:27:45 -05:00
2017-07-04 13:47:08 +02:00
2017-01-30 16:18:55 -06:00
2016-10-06 12:05:28 -04:00
2017-01-30 16:18:55 -06:00
2016-10-06 12:05:28 -04:00