I moved the pre txtemboss here (important if you want to change the highlight.js skin)