editorial: use bold for title and headings
PATCH 1/1 editorial: use bold for title and headings
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.
--- makehtml.sh | 10 ++++++++-- 1 file changed, 8 insertions(+), 2 deletions(-)
makehtml.sh +8 -2
@@ -22,12 +22,18 @@ sed 's/~</"</g' $SPECDOC.tmp4 >$SPECDOC.tmp5 #drop width/height limits from the logo. sed '/oasis.png/{n;s/^width="39" height="39" >/ >/}' $SPECDOC.tmp5 >$SPECDOC.tmp6 +#To conform to OASIS style, this should use bold font in title and +#headings from top through "Notices" +#these headings use class="aeb10-", but this +#is not defined in the .css file +sed '/start css.sty/a .aeb10-{font-weight: bold;}' $SPECDOC.tmp6 >$SPECDOC.tmp7 + # If font paths are misconfigured, we get ligatures # (such as 'ff or 'fi') replaced by NULL character in output. # This in not a valid HTML output, so detect this and warn user. # For detection, we rely on the fact that file utility # recognizes files with NULL characters as binary data. -if test "$(file -b $SPECDOC.tmp5)" = 'data'; +if test "$(file -b $SPECDOC.tmp7)" = 'data'; then echo echo WARNING!
@@ -44,7 +50,7 @@ then echo fi -mv $SPECDOC.tmp6 $SPECDOC.html +mv $SPECDOC.tmp7 $SPECDOC.html rm $SPECDOC.tmp* #uncomment if you have a broken t4ht
Signature · 6 lines
MST --------------------------------------------------------------------- To unsubscribe, e-mail: [email protected] For additional commands, e-mail: [email protected]
Quoted 10 lines · 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 inserting the line below into the .css file (virtio-v1.2-csd01.css, at line 18), which fixed this issue:
--- .aeb10-{font-weight: bold;}
Quoted 7 lines
make this adjustment in
makehtml.shfor 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
---------------------------------------------------------------------
To unsubscribe, e-mail: [email protected] For additional commands, e-mail: [email protected]