Brought in more highlightjs themes