Correction: the config works, but 'make docs' is broken, so only now I see that it produces broken styling.
« Back to merge proposal
Correction: the config works, but 'make docs' is broken, so only now I see that it produces broken styling.