Fabian Homborg aecd639fee docs: Reduce min-width ... This was 450px, which is still quite wide, it also shows up weird in firefox. So let's use 150px, which is still basically readable. [ci skip]		2020-10-04 11:28:22 +02:00
..
copybutton.js	Replace the doc theme with the pydoctheme	2020-10-04 11:05:48 +02:00
fish.png	Use the small lcd version of our logo	2020-10-04 11:05:48 +02:00
pydoctheme.css	docs: Reduce min-width	2020-10-04 11:28:22 +02:00
sidebar.js	Replace the doc theme with the pydoctheme	2020-10-04 11:05:48 +02:00