PrettifyJS implemented