Provided by Daniela Becker. * data/bison-default.css: More colors. --- THANKS | 1 + data/bison-default.css | 4 ++++ 2 files changed, 5 insertions(+)
diff --git a/THANKS b/THANKS index e38e3613..ac073ea6 100644 --- a/THANKS +++ b/THANKS @@ -45,6 +45,7 @@ Csaba Raduly [email protected] Dagobert Michelsen [email protected] Daniel Frużyński [email protected] Daniel Galloway [email protected] +Daniela Becker [email protected] Daniel Hagerty [email protected] David Barto [email protected] David J. MacKenzie [email protected] diff --git a/data/bison-default.css b/data/bison-default.css index 5248c294..21e672d2 100644 --- a/data/bison-default.css +++ b/data/bison-default.css @@ -49,6 +49,10 @@ .cex-5 { color: orange; } .cex-6 { color: brown; } .cex-7 { color: mauve; } +.cex-8 { color: #013220; } /* Dark green. */ +.cex-9 { color: #e75480; } /* Dark pink. */ +.cex-10 { color: cyan; } +.cex-11 { color: orange; } /* Cex: derivation rewriting steps. */ .cex-step { font-style: italic; } -- 2.27.0
