From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Sender: List-Post: List-Help: List-Unsubscribe: List-Subscribe: Received: from lists.oasis-open.org (oasis-open.org [10.110.1.242]) by lists.oasis-open.org (Postfix) with ESMTP id A180C9864E5 for ; Tue, 10 May 2022 08:20:35 +0000 (UTC) From: Cornelia Huck In-Reply-To: <20220510053552.69669-1-mst@redhat.com> References: <20220510053552.69669-1-mst@redhat.com> Date: Tue, 10 May 2022 10:20:29 +0200 Message-ID: <87bkw53ik2.fsf@redhat.com> MIME-Version: 1.0 Subject: Re: [virtio-dev] [PATCH] editorial: use bold for title and headings Content-Type: text/plain To: "Michael S. Tsirkin" , virtio-comment@lists.oasis-open.org, virtio-dev@lists.oasis-open.org Cc: virtio@lists.oasis-open.org, Paul Knight List-ID: 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 --------------------------------------------------------------------- To unsubscribe, e-mail: virtio-dev-unsubscribe@lists.oasis-open.org For additional commands, e-mail: virtio-dev-help@lists.oasis-open.org