diff options
| author | Akim Demaille <akim.demaille@gmail.com> | 2020-07-15 06:31:55 +0200 |
|---|---|---|
| committer | Akim Demaille <akim.demaille@gmail.com> | 2020-07-15 06:38:36 +0200 |
| commit | 64a3b6546aa0bdec6b6fc1c5cea8971963e78bca (patch) | |
| tree | d98f9b718c84ecd4ce685dcb40a2849eb4b04e5a | |
| parent | bad07a7f6631331709eedc8e2d1ceacb29695794 (diff) | |
| download | bison-64a3b6546aa0bdec6b6fc1c5cea8971963e78bca.tar.gz | |
cex: more colors
Provided by Daniela Becker.
* data/bison-default.css: More colors.
| -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; } |