[PATCH 1/6] cex: more colors

[Akim Demaille]

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              csaba_22@yahoo.co.uk
 Dagobert Michelsen        dam@baltic-online.de
 Daniel Frużyński          daniel@poradnik-webmastera.com
 Daniel Galloway           dg1751@att.com
+Daniela Becker            daniela@lrde.epita.fr
 Daniel Hagerty            hag@gnu.org
 David Barto               david.barto@sparqlcity.com
 David J. MacKenzie        djm@gnu.org
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