in annotated_buffer.js [322:342]
function colorRegions(i, j, str) {
var ann = self.annotations[annI];
while (ann && i >= ann.end) {
ann = self.annotations[++annI];
colorI = (colorI + 1) % colors.length;
}
if (ann && options.colored &&
i >= ann.start &&
i < ann.end) {
str = stripColor(str);
str = color(str, colors[colorI]);
if (i === ann.start && options.boldStart) str = color(str, 'bold');
}
if (options.highlight) {
str = options.highlight(i, j, str);
}
return str;
}