Does GitHub support highlightjs?