{"library":"sphinx-rtd-theme","install":[{"cmd":"pip install sphinx-rtd-theme","imports":["html_theme = \"sphinx_rtd_theme\""]}]}