In the top right of each documentation page, I would like an option for users to download the current file that they are currently viewing.
Are there any extensions or conf options that achieve this?
EDIT: as seen in JupyterBook
In the top right of each documentation page, I would like an option for users to download the current file that they are currently viewing.
Are there any extensions or conf options that achieve this?
EDIT: as seen in JupyterBook