Gereon Kremer 53e274229b Add download link for examples in documentation (#7836) ...

This PR adds a download link to all examples in the documentation
(that are included via the examples extension). I think we should do
this, as we have text like "download the example here" at several
places already...

2022-01-03 21:25:00 +00:00

..

custom.css

Add download link for examples in documentation (#7836)

2022-01-03 21:25:00 +00:00