code: void setHeaderHeight (final float fHeaderHeight)
    {
      // Set the maximum value only
      if (Float.isNaN (m_fHeaderHeight))
        m_fHeaderHeight = fHeaderHeight;
      else
        m_fHeaderHeight = Math.max (m_fHeaderHeight, fHeaderHeight);
    }
docs: Set the page header height.
  
  @param fHeaderHeight
  Height without margin, border and padding.