Add a download page button

You can add a button allowing users to download the currently viewed page in several formats: raw, pdf or ipynb if available. To include this button, use the following configuration:

html_theme_options = {
    ...
    "use_download_button": True,
    ...
}