Fix extlinks config and do not try to use rtd theme

docs_sphinx/conf.py

@@ -151,18 +151,6 @@ def __getattr__(cls, name):
 
 # -- Options for HTML output ---------------------------------------------------
 
-# on_rtd is whether we are on readthedocs.org, this line of code grabbed from docs.readthedocs.org
-on_rtd = os.environ.get('READTHEDOCS', None) == 'True'
-
-if not on_rtd:
-    # ReadTheDocs theme
-    try:
-        import sphinx_rtd_theme
-        html_theme = "sphinx_rtd_theme"
-        html_theme_path = [sphinx_rtd_theme.get_html_theme_path()]
-    except ImportError:
-        pass  # use the default theme
-
 # Theme options are theme-specific and customize the look and feel of a theme
 # further.  For a list of options available for each theme, see the
 # documentation.
@@ -327,4 +315,4 @@ def __getattr__(cls, name):
 
 # Configure linking to github
 extlinks = {'issue': ('https://github.com/brian-team/brian2/issues/%s',
-                      '#')}
+                      '# %s')}