Andreas Jaeger 9e457deba0 Fix pygments_style ... Change pygments_style to 'native' since old theme version always used 'native' and the theme now respects the setting and using 'sphinx' can lead to some strange rendering. Change-Id: Icd9d529dbe66626ac53a9fdca5bc6821998a0b7d		2020-05-20 21:56:41 +02:00
..
source	Fix pygments_style	2020-05-20 21:56:41 +02:00