| <-- TODO there should be a better way to add the BNF language support... --> | |
| <script src="https://cdnjs.cloudflare.com/ajax/libs/highlight.js/9.18.1/highlight.min.js"></script> | |
| <script src="https://cdnjs.cloudflare.com/ajax/libs/highlight.js/9.18.1/languages/ebnf.min.js"></script> | |
| <script>hljs.initHighlighting()</script> |