Jani Nikula <jani.nikula@xxxxxxxxxxxxxxx> writes: > Taking a step back, choosing the sphinx-rtd-theme to begin with was > purely arbitrary, I didn't put much effort into checking the > alternatives, and as far as I recall, neither did Jon. There were more > pressing issues at the time to get the documentation generation ball > rolling at all. Yeah, I was just happy to see something that worked ... :) > Obviously anyone can change the theme for themselves, and I guess the > question is rather what the default is, and, subsequently, what gets > used at [1]. > > I haven't followed the development on this closely, but I am somewhat > surprised at the amount of theme overrides having been added, and it > begs the question whether there'd perhaps be a readily available stock > theme that would be better suited than sphinx-rtd-theme? I've never been hugely pleased with the appearance of the processed docs, but haven't had a chance to tear into it. I'll try to look at the themes Mauro pointed out in the near future. Meanwhile, I'll go ahead and apply v2 of this patch, thanks. jon