cex: more colors

Provided by Daniela Becker.

* data/bison-default.css: More colors.
This commit is contained in:
Akim Demaille
2020-07-15 06:38:36 +02:00
parent bad07a7f66
commit 64a3b6546a
2 changed files with 5 additions and 0 deletions
+1
View File
@@ -45,6 +45,7 @@ Csaba Raduly [email protected]
Dagobert Michelsen [email protected] Dagobert Michelsen [email protected]
Daniel Frużyński [email protected] Daniel Frużyński [email protected]
Daniel Galloway [email protected] Daniel Galloway [email protected]
Daniela Becker [email protected]
Daniel Hagerty [email protected] Daniel Hagerty [email protected]
David Barto [email protected] David Barto [email protected]
David J. MacKenzie [email protected] David J. MacKenzie [email protected]
+4
View File
@@ -49,6 +49,10 @@
.cex-5 { color: orange; } .cex-5 { color: orange; }
.cex-6 { color: brown; } .cex-6 { color: brown; }
.cex-7 { color: mauve; } .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: derivation rewriting steps. */
.cex-step { font-style: italic; } .cex-step { font-style: italic; }