pushed production code for syntax highlighting