docs: protected void highlightNode(IHighlightedPositionAcceptor acceptor, INode node, String... styleIds) {
  		if (node == null)
  			return;
  		if (node instanceof ILeafNode) {
  			ITextRegion textRegion = node.getTextRegion();
  			acceptor.addPosition(textRegion.getOffset(), textRegion.getLength(), styleIds);
  		} else {
  			for (ILeafNode leaf : node.getLeafNodes()) {
  				if (!leaf.isHidden()) {
  					ITextRegion leafRegion = leaf.getTextRegion();
  					acceptor.addPosition(leafRegion.getOffset(), leafRegion.getLength(), styleIds);
  				}
  			}
  		}
  	}