code: public static final int getH(Element e) {
          int ret = e.getOffsetHeight();
          ret -= MiscUtils.getComputedStyleInt(e, "paddingTop");
          ret -= MiscUtils.getComputedStyleInt(e, "paddingBottom");
          ret -= MiscUtils.getComputedStyleInt(e, "borderTopWidth");
          ret -= MiscUtils.getComputedStyleInt(e, "borderBottomWidth");
          return Math.max(ret, 0);
      }
docs: Updated to factor in border and padding