bison-default.css 1.8 KB

12345678910111213141516171819202122232425262728293031323334353637383940414243444546474849505152535455565758596061
  1. /* Default styling rules for Bison when doing terminal output.
  2. Copyright (C) 2019-2021 Free Software Foundation, Inc.
  3. This program is free software: you can redistribute it and/or modify
  4. it under the terms of the GNU General Public License as published by
  5. the Free Software Foundation; either version 3 of the License, or
  6. (at your option) any later version.
  7. This program is distributed in the hope that it will be useful,
  8. but WITHOUT ANY WARRANTY; without even the implied warranty of
  9. MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
  10. GNU General Public License for more details.
  11. You should have received a copy of the GNU General Public License
  12. along with this program. If not, see <https://www.gnu.org/licenses/>. */
  13. /* This is an experimental feature. The class names may change in the
  14. future. */
  15. /* Diagnostics. */
  16. .warning { color: purple; }
  17. .error { color: red; }
  18. .note { color: cyan; }
  19. .fixit-insert { color: green; }
  20. /* Semantic values in Bison's own parser traces. */
  21. .value { color: green; }
  22. /* "Sections" in traces (--trace). */
  23. .trace0 { color: green; }
  24. /* Syntax error messages. */
  25. .expected { color: green; }
  26. .unexpected { color: red; }
  27. /* Counterexamples. */
  28. /* Cex: point in rule. */
  29. .cex-dot { color: red; }
  30. /* Cex: coloring various rules. */
  31. .cex-0 { color: yellow; }
  32. .cex-1 { color: green; }
  33. .cex-2 { color: blue; }
  34. .cex-3 { color: purple; }
  35. .cex-4 { color: violet; }
  36. .cex-5 { color: orange; }
  37. .cex-6 { color: brown; }
  38. .cex-7 { color: mauve; }
  39. .cex-8 { color: #013220; } /* Dark green. */
  40. .cex-9 { color: #e75480; } /* Dark pink. */
  41. .cex-10 { color: cyan; }
  42. .cex-11 { color: orange; }
  43. /* Cex: derivation rewriting steps. */
  44. .cex-step { font-style: italic; }
  45. /* Cex: leaves of a derivation. */
  46. .cex-leaf { font-weight: 600; }