Make the Divi Theme Options Header Sticky

The Divi Theme's options screen (found at "Divi > Theme Options") presents a long list of settings which can be used to configure the theme. At the top of the options screen is the header, which includes tabs for accessing the different collections of settings...