Message 250132 - Python tracker

If it's useful, I quickly threw together a routine that takes the HTML generated by Sphinx, and using html.parser, strips out the navigation stuff, and stuffs it into a Tk text widget, doing appropriate things with the subset of the formatting it uses (lists, headings, etc.).

If something like that seems appropriate to use, let me know and I can clean it up a bit and post it as a patch.