Re: [virtio-dev] [PATCH] editorial: use bold for title and headings

2022-05-10 Thread Cornelia Huck
On Tue, May 10 2022, "Michael S. Tsirkin" wrote: > Paul Knight reported: > > - (HTML only) To conform to OASIS style, this should use bold font in title > and > headings from top through "Notices" > -- I noted that in the HTML file, these headings use class="aeb10-", but this > is not defined in

[virtio-dev] [PATCH] editorial: use bold for title and headings

2022-05-09 Thread Michael S. Tsirkin
Paul Knight reported: - (HTML only) To conform to OASIS style, this should use bold font in title and headings from top through "Notices" -- I noted that in the HTML file, these headings use class="aeb10-", but this is not defined in the .css file. -- For this publication, I defined it by insertin