Patrick Kanzler c7c01cdbff
fix rtd theme (#553)
* use rtd_theme

* add types for serial

* annotate types where possible

* fix imports
2023-08-25 01:19:23 +02:00
..
2017-01-29 22:33:15 +01:00
2023-08-25 01:19:23 +02:00
2023-08-09 00:52:01 +02:00
2020-05-31 16:21:42 +02:00
2020-05-31 16:21:42 +02:00
2016-03-11 14:46:36 +01:00