diff --git a/docs/_static/map.png b/docs/_static/map.png new file mode 100644 index 0000000000000000000000000000000000000000..1a3e10fb420afc369f50d60567835581c6537bd0 Binary files /dev/null and b/docs/_static/map.png differ diff --git a/docs/_static/tezosdocs.png b/docs/_static/tezosdocs.png new file mode 100644 index 0000000000000000000000000000000000000000..32ef5c6255df50ec154c6488c43a398f8d368488 Binary files /dev/null and b/docs/_static/tezosdocs.png differ diff --git a/docs/conf.py b/docs/conf.py index 09585d97202064f6ce31d03265a18ee040ac32df..4e78378eca901a4b1f862b7861396439b8001ece 100644 --- a/docs/conf.py +++ b/docs/conf.py @@ -139,6 +139,20 @@ html_theme_options = { 'use_download_button': False, 'use_fullscreen_button': True, 'use_source_button': True, + "icon_links": [ + { + "name": "Up to Tezos docs", + "url": "https://docs.tezos.com/", + "icon": "_static/tezosdocs.png", + "type": "local", + }, + { + "name": "Documentation map", + "url": "https://docs.tezos.com/overview/resources", + "icon": "_static/map.png", + "type": "local", + }, + ], } html_theme_options["analytics"] = {