This is a small modification to the way org works for publishing to html such that highlightjs can be used.