
On Thu, 2016-04-21 at 10:10 -0400, John Ferlan wrote:
This styling is appropriate when the content of <dt> is a <code> element, because that makes the font smaller.
This is the case for most of the <dt>s in our documentation, but not *all* of them. I've just posted a patch[1] that fixes a bunch of <dt>s that were missing the inner <code> element, but that still leaves out a few that are just not supposed to have it - look no further than contact.html for an example.
So my proposal is, apply my patch first, and then add
dt code { font-weight: bold; }
to the stylesheet instead.
Sounds good?
I saw your series - been a VERY BUSY day on libvir-list... In any case wouldn't that make *all* <code> elements bolded - there's a lot more of those and then the <dt> bolding wouldn't stand out
Nope, just those inside <dt> - that's what 'dt code' means. Drop those three lines in generic.css and see for yourself :) -- Andrea Bolognani Software Engineer - Virtualization Team