Fabian Homborg c6fa2ec82f
Doc theme: Stop picking specific code fonts again
d54c8a42a99f94b7f5a029470717cbcd06bd962d reintroduced #7714 by picking Source Code Pro again, which is *broken* on MacOS.
2022-01-12 12:48:14 +01:00
..
2021-10-16 14:33:12 -07:00
2021-11-06 14:09:27 -07:00