code: public void updateListSize() {
  
          int paramsHeight = m_params.isVisible()
          ? m_params.getOffsetHeight()
              + CmsDomUtil.getCurrentStyleInt(m_params.getElement(), CmsDomUtil.Style.marginBottom)
          : 21;
          int optionsHeight = m_options.getOffsetHeight()
              + CmsDomUtil.getCurrentStyleInt(m_options.getElement(), CmsDomUtil.Style.marginBottom);
          int listTop = paramsHeight + optionsHeight + 5;
          // another sanity check, don't set any top value below 35
          if (listTop > 35) {
              m_list.getElement().getStyle().setTop(listTop, Unit.PX);
          }
      }
docs: Updates the height (with border) of the result list panel according to the search parameter panels shown.<p>