virtio — archive
[Date Prev]
| [Thread Prev]
| [Thread Next]
| [Date Next]
— [Date Index]
| [Thread Index]
| [Month Index]
| [List Home]
[PATCH] editorial: use bold for title and headings
On Tue, May 10 2022, "Michael S. Tsirkin" <[email protected]> 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 <[email protected]>
> Signed-off-by: Michael S. Tsirkin <[email protected]>
> ---
> makehtml.sh | 10 ++++++++--
> 1 file changed, 8 insertions(+), 2 deletions(-)
I'm not familiar with .css, but
Acked-by: Cornelia Huck <[email protected]>
[Date Prev]
| [Thread Prev]
| [Thread Next]
| [Date Next]
— [Date Index]
| [Thread Index]
| [Month Index]
| [List Home]