[PATCH] editorial: use bold for title and headings

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 the .css file.
>

--
For this publication, I defined it by inserting the line below into the .css
> file (virtio-v1.2-csd01.css, at line 18), which fixed this issue:
> --- .aeb10-{font-weight: bold;}
>
> make this adjustment in makehtml.sh for the future.
>
> Reported-by: Paul Knight <>
> Signed-off-by: Michael S. Tsirkin <>
> ---
>  makehtml.sh | 10 ++++++++--
>  1 file changed, 8 insertions(+), 2 deletions(-)

I'm not familiar with .css, but

Acked-by: Cornelia Huck <>