Adjust font size of Highlight.js