From 64a3b6546aa0bdec6b6fc1c5cea8971963e78bca Mon Sep 17 00:00:00 2001 From: Akim Demaille Date: Wed, 15 Jul 2020 06:31:55 +0200 Subject: [PATCH] cex: more colors 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; }