function wrapSpanColorGrey(text) {
  return "<span style='color:#555'>" + text + '</span>';
}

// JS+CSS hack to set bullet color red for selected ul elements
function setBulletColor() {
  var uls = document.getElementsByTagName('ul');
  for (var i = 0; i < uls.length; ++i) {
    var ul = uls[i];
    if (ul.className != 'redbullet') continue;
    var lis = ul.getElementsByTagName('li');
    for (var j = 0; j < lis.length; ++j) {
      var li = lis[j];
      li.innerHTML = wrapSpanColorGrey(li.innerHTML);
      li.style.color = '#E00';
    }
  }
}