-
Notifications
You must be signed in to change notification settings - Fork 55
Description
Description of the problem
- Generated HTML elements of the manpage's content can have
idattributes. This is useful, for example to be able to link to specific options, inside a manpage. - Debian theme's CSS mainly use
idto target elements to style, for example#footer { ... }. - If a generated HTML element has an
idused by Debian theme's CSS, it inherits its style.
See https://manpages.debian.org/unstable/lintian-ssg/lintian-ssg.1.en.html#footer for an example of this problem:

Solutions imagined
- Use a prefix for the
idof layout elements to prevent them conflicting with the manpage's content's HTML elements. - Use a prefix for the
idof the generated HTML elements to prevent them conflicting with the layout elements. - Specify the css rules more precisely to avoid targeting the manpage's content HTML elements. For example using
body > div#footer { ... }
I think (2) is not ideal, as it would add a processing step in the manpage rendering code, and it would also break existing links to anchors. So this leaves (1) and (3). I would say I prefer option (3) as it only involves modifying the CSS, which keeps it more similar to the rest of the Debian sites.
If you agree with my proposition, I can make a pull request that make the Debian theme's CSS selector stricter to avoid this problem in the future.
P.S. One last issue that option (3) leaves unresolved, is that multiple elements with the same id is forbidden by the HTML standard, but I think this is not a major issue as it is gracefully handled by Web browsers.