add ebnf highlighting filter

2021-04-28 12:37:42 +02:00 · 2021-04-28 12:37:42 +02:00 · 6f2fa30212
commit 6f2fa30212
parent 6daa705bd0
4 changed files with 185 additions and 0 deletions
--- a/style/page.css
+++ b/style/page.css
@ -216,3 +216,35 @@ footer {
  font-weight: 500;
  text-align: center;
 }
+
+.ebnf {
+  border: none;
+}
+
+.ebnf td {
+  padding: 0 0.15em;
+}
+
+.ebnf-nt {
+  font-weight: 500;
+  color: hsl(155deg, 80%, 30%);
+  white-space: nowrap;
+}
+
+.ebnf-punc {
+  color: hsl(25deg, 40%, 30%);
+}
+
+.ebnf-sub, .ebnf-brack {
+  color: hsl(210deg, 80%, 35%);
+  font-weight: 500;
+}
+
+.ebnf-brack {
+  padding: 0 0.05em;
+}
+
+.ebnf-s {
+  font-style: italic;
+  color: hsl(330deg, 80%, 30%);
+}