From 7ba296a6fe6c6eef601de6a2725b917d076cfe23 Mon Sep 17 00:00:00 2001
From: Dmitri Bogomolov <4glitch@gmail.com>
Date: Fri, 11 Oct 2019 17:15:26 +0300
Subject: [PATCH] Remove "Edit on Github" link:
 https://github.com/sphinx-doc/sphinx/issues/2386

---
 docs/_static/custom.css | 4 ++++
 docs/conf.py            | 4 ++++
 2 files changed, 8 insertions(+)
 create mode 100644 docs/_static/custom.css

diff --git a/docs/_static/custom.css b/docs/_static/custom.css
new file mode 100644
index 00000000..5192985c
--- /dev/null
+++ b/docs/_static/custom.css
@@ -0,0 +1,4 @@
+/* Hide "On GitHub" section from versions menu */
+li.wy-breadcrumbs-aside > a.fa {
+    display: none;
+}
diff --git a/docs/conf.py b/docs/conf.py
index 96c9f146..b6e75cc1 100644
--- a/docs/conf.py
+++ b/docs/conf.py
@@ -100,6 +100,10 @@ html_theme = 'sphinx_rtd_theme'
 # so a file named "default.css" will overwrite the builtin "default.css".
 html_static_path = ['_static']
 
+html_css_files = [
+    'custom.css',
+]
+
 # Custom sidebar templates, must be a dictionary that maps document names
 # to template names.
 #