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. #