diff options
| -rw-r--r-- | THANKS | 1 | ||||
| -rw-r--r-- | data/bison-default.css | 4 |
2 files changed, 5 insertions, 0 deletions
@@ -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; } |