Fabian Homborg 75f197b28e docs/theme: Add bottom margin ... This makes it look like it's a page on top of the background gradient		2021-01-26 09:10:42 +01: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/theme: Add bottom margin	2021-01-26 09:10:42 +01:00
sidebar.js	Replace the doc theme with the pydoctheme	2020-10-04 11:05:48 +02:00