New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Use sphinx-nefertiti theme for the docs #1793

Closed

danirus wants to merge 1 commit into prompt-toolkit:master from danirus:docs-with-sphinx-nefertiti

Contributor

danirus commented Oct 18, 2023

This PR:

Replaces the sphinx-rtd-theme with Nefertiti for Sphinx.
Integration with Read The Docs is supported by default, so the version dropdown at the top bar is filled in automatically.


          Use sphinx-nefertiti theme for the docs

e66b1f2

jonathanslenders mentioned this pull request

Use sphinx-nefertiti theme for the docs #1801

Merged

Member

jonathanslenders commented Nov 3, 2023

Merged from here: #1801
Thank you!

jonathanslenders closed this

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet