docs: function toColorfulString(result) {
  	var color;
  	if (!result) {
  		return '';
  	}
  	if (result.color == null) {
  		return result.value;
  	}
  	color = result.color;
  	return '<font color="' + color + '">' + result.value + '<\/font>';
  }