Fix #2: use highlight.js for code highlight