old code in welcome.js now in highlight.js