CodeHighlighter.addStyle("ebnf",{
	method : {
		exp  : /^(\w+)/
	},
	brackets : {
		exp  : /\(|\)/
	},
        arrow : {
                exp: /\->/
        },
	'return' : {
		exp  : /\w+$/
	}
});