Using our own latex brush now for syntax highlighting