docs: protected void plotGray(SVGPlot plot, Element parent, double x, double y, double size) {
      Element marker = plot.svgCircle(x, y, size * .5);
      SVGUtil.setStyle(marker, SVGConstants.CSS_FILL_PROPERTY + ":" + greycolor);
      parent.appendChild(marker);
    }