code: private void applyElementSize(Element element, int width, int height, boolean addCoordSize) {
  		if (width >= 0 && height >= 0) {
  			if (addCoordSize) {
  				Dom.setElementAttribute(element, "coordsize", width + " " + height);
  			}
  			Dom.setStyleAttribute(element, "width", width + "px");
  			Dom.setStyleAttribute(element, "height", height + "px");
  		}
  	}
docs: Apply a size on an element.
  
  @param element
  The element that needs sizing.
  @param width
  The new width to apply on the element.
  @param height
  The new height to apply on the element.
  @param addCoordSize
  Should a coordsize attribute be added as well?