Need to update the prettyjs include in the theme.