public/prism/prism-bnf.js


1
2
3
4
5
6pre { line-height: 125%; }
td.linenos .normal { color: inherit; background-color: transparent; padding-left: 5px; padding-right: 5px; }
span.linenos { color: inherit; background-color: transparent; padding-left: 5px; padding-right: 5px; }
td.linenos .special { color: #000000; background-color: #ffffc0; padding-left: 5px; padding-right: 5px; }
span.linenos.special { color: #000000; background-color: #ffffc0; padding-left: 5px; padding-right: 5px; }
.highlight .hll { background-color: #ffffPrism.languages.bnf = {
  string: {
    pattern: /"[^\r\n"]*"|'[^\r\n']*'/,
  },
  definition: {
    pattern: /<[^<>\r\n\t]+>(?=\s*::=)/,
    alias: ['rule', 'keyword'],
    inside: {
      punctuation: /^<|>$/,
    },
  },
  rule: {
    pattern: /<[^<>\r\n\t]+>/,
    inside: {
      punctuation: /^<|>$/,
    },
  },
  operator: /::=|[|()[\]{}*+?]|\.{3}/,
};

Prism.languages.rbnf = Prism.languages.bnf;