Re: Nicer looking Info - html manual +css

[Eli Zaretskii]

> Date: Sun, 19 Jan 2020 06:04:00 +0000 (GMT)
> From: ndame <address@hidden>
> Cc: "address@hidden" <address@hidden>
> 
> Yes, that is the best, but first at least the code example markup in textinfo
> should be converted to a face, because the markup is  already there, but left 
> unused.

What is the markup to which you allude here?  Please elaborate,
because I don't think I understand what you mean.