I think that's how I ended up with the style sheet I uploaded.  It works, but it can be a slow process.

Another factor is the pydoc server will reread an external style sheet on browser refreshes. So you can see the results of style sheet changes without restarting pydoc. If it's embedded, you need to edit the program and restart everything each time.

I was thinking that I may still be able to make a set of static html files that go along with that style sheet.  Then we can adjust the css class names and make other changes, then use that as a guide for replacing the html.

Eric, what do you think?