add highlist.js, public