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
2020-05-20 21:56:41 +02:00
2019-08-12 08:52:38 -05:00
2019-12-12 14:56:39 +00:00
2019-11-22 16:09:36 +00:00
2019-10-15 21:22:31 -04:00
2019-11-22 16:09:36 +00:00
2020-01-22 13:50:30 +00:00
2020-01-22 13:50:30 +00:00
2020-03-30 03:02:31 +00:00
2020-03-06 16:57:46 +00:00
2019-10-14 11:35:11 -07:00
2019-11-18 16:25:47 +00:00
2019-11-18 16:25:47 +00:00
2019-12-09 11:52:49 -06:00
2019-11-14 14:29:58 -05:00
2019-11-22 16:03:11 +00:00
2020-04-02 09:26:55 -07:00
2019-12-12 14:56:39 +00:00
2020-04-10 09:17:48 +00:00
2019-11-13 23:43:52 +00:00
2019-09-06 17:31:42 -04:00
2020-05-06 10:57:59 +01:00
2019-12-23 14:20:28 +00:00
2019-08-27 12:57:10 -04:00
2019-10-29 12:56:59 -04:00
2019-11-13 10:52:03 -05:00
2019-12-23 14:20:28 +00:00
2020-03-15 17:35:49 +01:00
9e457deba0