Fabian Homborg 651259e794 docs/theme: Fix padding when the searchbox is last ...

See e.g. the commands page - there's no separate TOC, so the searchbox
almost runs into the border

2021-01-25 22:55:29 +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: Fix padding when the searchbox is last

2021-01-25 22:55:29 +01:00

sidebar.js

Replace the doc theme with the pydoctheme

2020-10-04 11:05:48 +02:00