code: public static int convertBorderWidth(CSSProperty.BorderWidth width)
      {
      	if (width == CSSProperty.BorderWidth.THIN)
      		return THIN_BORDER;
      	else if (width == CSSProperty.BorderWidth.MEDIUM)
      		return MEDIUM_BORDER;
      	else
      		return THICK_BORDER;
      }
docs: Converts the border size given by an identifier to an absolute value.
  @param width the border-width identifier
  @return absolute length in pixels