int getElementArgb(String element) {
		Integer i = genericElementColors.get(element);
		if (i == null)
			throw new IllegalArgumentException("custom color not supported for " + element);
		return i.intValue();
	}