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