On 10/18/20 2:57 PM, Patrice Dumas wrote:
I would suggest instead using the class attribute. That way it could also be used to have different css style defined by a use for links tomanuals.
CSS styling can be changed based on any attribute, including rel, not just
class.
The CSS syntax for selecting on class is just more convenient:
a.texinfo-manual
is the same as:
a[class~="texinfo-manual"]
--
--Per Bothner
[email protected] http://per.bothner.com/
