Lead Developer
Hi James,
Our sticky menu is using our Menu Plus add-on – it gives you a few different sticky menu options which you can control through the Customizer 🙂
Let me know if you need more info.
Documentation: http://docs.generatepress.com/
Adding CSS: http://docs.generatepress.com/article/adding-css/
Ongoing Development: https://generatepress.com/ongoing-development