No, `.ebnf` indicates these blocks are written in [EBNF](http://en.wikipedia.org/wiki/Extended_Backus%E2%80%93Naur_Form), so theoretically they could be highlighted as such.

The `.notation`, `.gram` etc. tags are parsed by the `extract_grammar.py` script.

i.e. none of these are just CSS classes.