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
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(-) diff --git a/makehtml.sh b/makehtml.sh index a19fc34..45b7080 100755 --- a/makehtml.sh +++ b/makehtml.sh @@ -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
--
MST
[Date Prev]
| [Thread Prev]
| [Thread Next]
| [Date Next]
— [Date Index]
| [Thread Index]
| [Month Index]
| [List Home]