setting_start(); $plugin->techlink('https://divibooster.com/change-the-height-of-the-divi-header/'); ?> checkbox(__FILE__); ?> Header minimum height:

Normal:	numberpicker(__FILE__, 'normal', 43, 0); ?>px
Shrunk:	numberpicker(__FILE__, 'shrunk', 30, 0); ?>px

setting_end(); } $wtfdivi->add_setting('header-main', 'db066_add_setting');