prompt: We are currently solving the following issue within our repository. Here is the issue text:
  --- BEGIN ISSUE ---
  Remove $ before shell commands in docs
  The developers have a [preference](https://github.com/rtfd/readthedocs.org/pull/4676#discussion_r221400605) to not have a `$` before shell commands in the docs. This makes it easier to copy and paste from our docs. We should remove it everywhere. The following command should show it everywhere.
  
      grep -Ri "    $ " docs/*.rst docs/*/*.rst
  
  --- END ISSUE ---
  
  Below are some code segments, each from a relevant file. One or more of these files may contain bugs.
  --- BEGIN FILES ---
  Path: `docs/conf.py`
  Content:
  ```
  1 # -*- coding: utf-8 -*-
  2 
  3 from __future__ import division, print_function, unicode_literals
  4 
  5 import os
  6 import sys
  7 
  8 import sphinx_rtd_theme
  9 from recommonmark.parser import CommonMarkParser
  10 
  11 sys.path.insert(0, os.path.abspath('..'))
  12 sys.path.append(os.path.dirname(__file__))
  13 os.environ.setdefault("DJANGO_SETTINGS_MODULE", "readthedocs.settings.dev")
  14 
  15 from django.conf import settings
  16 from django.utils import timezone
  17 
  18 import django
  19 django.setup()
  20 
  21 
  22 sys.path.append(os.path.abspath('_ext'))
  23 extensions = [
  24     'sphinx.ext.autosectionlabel',
  25     'sphinx.ext.autodoc',
  26     'sphinx.ext.intersphinx',
  27     'sphinxcontrib.httpdomain',
  28     'djangodocs',
  29     'doc_extensions',
  30     'sphinx_tabs.tabs',
  31 ]
  32 templates_path = ['_templates']
  33 
  34 source_suffix = ['.rst', '.md']
  35 source_parsers = {
  36     '.md': CommonMarkParser,
  37 }
  38 
  39 master_doc = 'index'
  40 project = u'Read the Docs'
  41 copyright = '2010-{}, Read the Docs, Inc & contributors'.format(
  42     timezone.now().year
  43 )
  44 version = '2.7'
  45 release = version
  46 exclude_patterns = ['_build']
  47 default_role = 'obj'
  48 intersphinx_mapping = {
  49     'python': ('http://python.readthedocs.io/en/latest/', None),
  50     'django': ('http://django.readthedocs.io/en/1.9.x/', None),
  51     'sphinx': ('http://sphinx.readthedocs.io/en/latest/', None),
  52 }
  53 htmlhelp_basename = 'ReadTheDocsdoc'
  54 latex_documents = [
  55     ('index', 'ReadTheDocs.tex', u'Read the Docs Documentation',
  56      u'Eric Holscher, Charlie Leifer, Bobby Grace', 'manual'),
  57 ]
  58 man_pages = [
  59     ('index', 'read-the-docs', u'Read the Docs Documentation',
  60      [u'Eric Holscher, Charlie Leifer, Bobby Grace'], 1)
  61 ]
  62 
  63 exclude_patterns = [
  64     # 'api' # needed for ``make gettext`` to not die.
  65 ]
  66 
  67 language = 'en'
  68 
  69 locale_dirs = [
  70     'locale/',
  71 ]
  72 gettext_compact = False
  73 
  74 html_theme = 'sphinx_rtd_theme'
  75 html_static_path = ['_static']
  76 html_theme_path = [sphinx_rtd_theme.get_html_theme_path()]
  77 html_logo = 'img/logo.svg'
  78 html_theme_options = {
  79     'logo_only': True,
  80     'display_version': False,
  81 }
  82 
  83 # Activate autosectionlabel plugin
  84 autosectionlabel_prefix_document = True
  85
  ```
  --- END FILES ---
  
  Please first localize the bug based on the issue statement, and then generate a patch according to the `git diff` format fenced by three backticks.
  
  Here is an example:
  
  ```diff
  diff --git a/examples/server_async.py b/examples/server_async.py
  --- a/examples/server_async.py
  +++ b/examples/server_async.py
  @@ -313,4 +313,4 @@
   
   
   if __name__ == "__main__":
  -    asyncio.run(run_async_server("."), debug=True)
  +    asyncio.run(run_async_server(), debug=True)
  diff --git a/examples/server_sync.py b/examples/server_sync.py
  --- a/examples/server_sync.py
  +++ b/examples/server_sync.py
  @@ -313,5 +313,5 @@
   
   
   if __name__ == "__main__":
  -    server = run_sync_server(".")
  +    server = run_sync_server()
       server.shutdown()
  
  ```
  
golden_diff: diff --git a/docs/conf.py b/docs/conf.py
  --- a/docs/conf.py
  +++ b/docs/conf.py
  @@ -28,6 +28,7 @@
       'djangodocs',
       'doc_extensions',
       'sphinx_tabs.tabs',
  +    'sphinx-prompt',
   ]
   templates_path = ['_templates']
   
  @@ -82,3 +83,7 @@
   
   # Activate autosectionlabel plugin
   autosectionlabel_prefix_document = True
  +
  +
  +def setup(app):
  +    app.add_stylesheet('css/sphinx_prompt_css.css')
  
verification_info: {"golden_diff": "diff --git a/docs/conf.py b/docs/conf.py\n--- a/docs/conf.py\n+++ b/docs/conf.py\n@@ -28,6 +28,7 @@\n     'djangodocs',\n     'doc_extensions',\n     'sphinx_tabs.tabs',\n+    'sphinx-prompt',\n ]\n templates_path = ['_templates']\n \n@@ -82,3 +83,7 @@\n \n # Activate autosectionlabel plugin\n autosectionlabel_prefix_document = True\n+\n+\n+def setup(app):\n+    app.add_stylesheet('css/sphinx_prompt_css.css')\n", "issue": "Remove $ before shell commands in docs\nThe developers have a [preference](https://github.com/rtfd/readthedocs.org/pull/4676#discussion_r221400605) to not have a `$` before shell commands in the docs. This makes it easier to copy and paste from our docs. We should remove it everywhere. The following command should show it everywhere.\r\n\r\n    grep -Ri \"    $ \" docs/*.rst docs/*/*.rst\n", "before_files": [{"content": "# -*- coding: utf-8 -*-\n\nfrom __future__ import division, print_function, unicode_literals\n\nimport os\nimport sys\n\nimport sphinx_rtd_theme\nfrom recommonmark.parser import CommonMarkParser\n\nsys.path.insert(0, os.path.abspath('..'))\nsys.path.append(os.path.dirname(__file__))\nos.environ.setdefault(\"DJANGO_SETTINGS_MODULE\", \"readthedocs.settings.dev\")\n\nfrom django.conf import settings\nfrom django.utils import timezone\n\nimport django\ndjango.setup()\n\n\nsys.path.append(os.path.abspath('_ext'))\nextensions = [\n    'sphinx.ext.autosectionlabel',\n    'sphinx.ext.autodoc',\n    'sphinx.ext.intersphinx',\n    'sphinxcontrib.httpdomain',\n    'djangodocs',\n    'doc_extensions',\n    'sphinx_tabs.tabs',\n]\ntemplates_path = ['_templates']\n\nsource_suffix = ['.rst', '.md']\nsource_parsers = {\n    '.md': CommonMarkParser,\n}\n\nmaster_doc = 'index'\nproject = u'Read the Docs'\ncopyright = '2010-{}, Read the Docs, Inc & contributors'.format(\n    timezone.now().year\n)\nversion = '2.7'\nrelease = version\nexclude_patterns = ['_build']\ndefault_role = 'obj'\nintersphinx_mapping = {\n    'python': ('http://python.readthedocs.io/en/latest/', None),\n    'django': ('http://django.readthedocs.io/en/1.9.x/', None),\n    'sphinx': ('http://sphinx.readthedocs.io/en/latest/', None),\n}\nhtmlhelp_basename = 'ReadTheDocsdoc'\nlatex_documents = [\n    ('index', 'ReadTheDocs.tex', u'Read the Docs Documentation',\n     u'Eric Holscher, Charlie Leifer, Bobby Grace', 'manual'),\n]\nman_pages = [\n    ('index', 'read-the-docs', u'Read the Docs Documentation',\n     [u'Eric Holscher, Charlie Leifer, Bobby Grace'], 1)\n]\n\nexclude_patterns = [\n    # 'api' # needed for ``make gettext`` to not die.\n]\n\nlanguage = 'en'\n\nlocale_dirs = [\n    'locale/',\n]\ngettext_compact = False\n\nhtml_theme = 'sphinx_rtd_theme'\nhtml_static_path = ['_static']\nhtml_theme_path = [sphinx_rtd_theme.get_html_theme_path()]\nhtml_logo = 'img/logo.svg'\nhtml_theme_options = {\n    'logo_only': True,\n    'display_version': False,\n}\n\n# Activate autosectionlabel plugin\nautosectionlabel_prefix_document = True\n", "path": "docs/conf.py"}], "after_files": [{"content": "# -*- coding: utf-8 -*-\n\nfrom __future__ import division, print_function, unicode_literals\n\nimport os\nimport sys\n\nimport sphinx_rtd_theme\nfrom recommonmark.parser import CommonMarkParser\n\nsys.path.insert(0, os.path.abspath('..'))\nsys.path.append(os.path.dirname(__file__))\nos.environ.setdefault(\"DJANGO_SETTINGS_MODULE\", \"readthedocs.settings.dev\")\n\nfrom django.conf import settings\nfrom django.utils import timezone\n\nimport django\ndjango.setup()\n\n\nsys.path.append(os.path.abspath('_ext'))\nextensions = [\n    'sphinx.ext.autosectionlabel',\n    'sphinx.ext.autodoc',\n    'sphinx.ext.intersphinx',\n    'sphinxcontrib.httpdomain',\n    'djangodocs',\n    'doc_extensions',\n    'sphinx_tabs.tabs',\n    'sphinx-prompt',\n]\ntemplates_path = ['_templates']\n\nsource_suffix = ['.rst', '.md']\nsource_parsers = {\n    '.md': CommonMarkParser,\n}\n\nmaster_doc = 'index'\nproject = u'Read the Docs'\ncopyright = '2010-{}, Read the Docs, Inc & contributors'.format(\n    timezone.now().year\n)\nversion = '2.7'\nrelease = version\nexclude_patterns = ['_build']\ndefault_role = 'obj'\nintersphinx_mapping = {\n    'python': ('http://python.readthedocs.io/en/latest/', None),\n    'django': ('http://django.readthedocs.io/en/1.9.x/', None),\n    'sphinx': ('http://sphinx.readthedocs.io/en/latest/', None),\n}\nhtmlhelp_basename = 'ReadTheDocsdoc'\nlatex_documents = [\n    ('index', 'ReadTheDocs.tex', u'Read the Docs Documentation',\n     u'Eric Holscher, Charlie Leifer, Bobby Grace', 'manual'),\n]\nman_pages = [\n    ('index', 'read-the-docs', u'Read the Docs Documentation',\n     [u'Eric Holscher, Charlie Leifer, Bobby Grace'], 1)\n]\n\nexclude_patterns = [\n    # 'api' # needed for ``make gettext`` to not die.\n]\n\nlanguage = 'en'\n\nlocale_dirs = [\n    'locale/',\n]\ngettext_compact = False\n\nhtml_theme = 'sphinx_rtd_theme'\nhtml_static_path = ['_static']\nhtml_theme_path = [sphinx_rtd_theme.get_html_theme_path()]\nhtml_logo = 'img/logo.svg'\nhtml_theme_options = {\n    'logo_only': True,\n    'display_version': False,\n}\n\n# Activate autosectionlabel plugin\nautosectionlabel_prefix_document = True\n\n\ndef setup(app):\n    app.add_stylesheet('css/sphinx_prompt_css.css')\n", "path": "docs/conf.py"}]}