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