Hi,

the debian-policy document is now Sphinx-based, and there are some other
documents as well being based on Sphinx (dev-ref, release-notes).
To share a uniform look-and-feel, they all use the same html theme, based on
read-the-docs and modified by Stéphane Blondon those days.

However, there was a bug in the theme, filed as #1093000.
The fix for that can be found in
https://salsa.debian.org/ddp-team/release-notes/-/commit/c8a0ae30602d9c1adcde052211eb7e6a0869b30b

Maybe you want to apply this fix to debian-policy as well, even if this
document does not suffer for that problem, since it does not include tables
ATM.

Rationale:
- keep the theme/debian.css consistent over all Sphinx-based docs.
- be prepared for the day, when a table gets integrated into this doc.


I have attached a patch including the above mentioned fix.
(You can just copy the debian.css file from release-notes as well, if you like.)


Greetings
Holger