javascript for syntax highlighting at blogger