Eh, it works and we care way more about that.<p>Anyhow, we can always switch the Sphinx theme, and your comment sounds more like a complaint about Sphinx in general (which I don&#x27;t happen to agree with, but whatever).