diff options
author | Akim Demaille <akim.demaille@gmail.com> | 2020-07-28 07:14:24 +0200 |
---|---|---|
committer | Akim Demaille <akim.demaille@gmail.com> | 2020-07-28 07:45:07 +0200 |
commit | fa390dc3115bdaaa3ad54eb7118105f01ac8c899 (patch) | |
tree | d9ae63a366bd819d3513864e45e36a9d57f03f85 | |
parent | 17fdf5eca202c0072166a5a3225899e91e04b028 (diff) | |
download | bison-fa390dc3115bdaaa3ad54eb7118105f01ac8c899.tar.gz |
doc: fix colors
The original Texinfo macros introducing colors were made for
diagnostics, which are printed in bold. So by copy-paste accident the
styles we introduced for counterexamples were also in bold. They
should not.
* doc/bison.texi: Separate the styling of diagnostics from the styling
for counterexamples.
Don't use bold in the latter case.
-rw-r--r-- | doc/bison.texi | 41 |
1 files changed, 27 insertions, 14 deletions
diff --git a/doc/bison.texi b/doc/bison.texi index 1953e9e0..b3222f93 100644 --- a/doc/bison.texi +++ b/doc/bison.texi @@ -57,44 +57,57 @@ \gdef\colorPurple{% \setcolor{\rgbPurple}% } +\gdef\colorOff{% + \setcolor{\maincolor}% +} \gdef\rgbError{0.80 0 0} -\gdef\colorError{% +\gdef\diagError{% \setcolor{\rgbError}% } \gdef\rgbNotice{0 0 0.80} -\gdef\colorNotice{% +\gdef\diagNotice{% \setcolor{\rgbNotice}% } -\gdef\colorOff{% +\gdef\rgbWarning{0.50 0 0.50} +\gdef\diagWarning{% + \setcolor{\rgbWarning}% +} +\gdef\diagOff{% \setcolor{\maincolor}% } @end tex @ifnottex @macro colorGreen -@inlineraw{html, <b style="color:green">} +@inlineraw{html, <span style="color:green">} @end macro @macro colorYellow -@inlineraw{html, <b style="color:#ff8000">} +@inlineraw{html, <span style="color:#ff8000">} @end macro @macro colorRed -@inlineraw{html, <b style="color:red">} +@inlineraw{html, <span style="color:red">} @end macro @macro colorBlue -@inlineraw{html, <b style="color:blue">} +@inlineraw{html, <span style="color:blue">} @end macro @macro colorPurple -@inlineraw{html, <b style="color:darkviolet">} +@inlineraw{html, <span style="color:darkviolet">} +@end macro +@macro colorOff +@inlineraw{html, </span>} @end macro -@macro colorError +@macro diagError @inlineraw{html, <b style="color:red">} @end macro -@macro colorNotice +@macro diagNotice @inlineraw{html, <b style="color:darkcyan">} @end macro -@macro colorOff +@macro diagWarning +@inlineraw{html, <b style="color:darkviolet">} +@end macro +@macro diagOff @inlineraw{html, </b>} @end macro @end ifnottex @@ -120,15 +133,15 @@ @end macro @macro dwarning{text} -@purple{\text\} +@diagWarning{}\text\@diagOff{} @end macro @macro derror{text} -@colorError{}\text\@colorOff{} +@diagError{}\text\@diagOff{} @end macro @macro dnotice{text} -@colorNotice{}\text\@colorOff{} +@diagNotice{}\text\@diagOff{} @end macro @finalout |