Is it possible to change the scrolling animation and speed for the menu links? I found a plugin that does this for text anchors, but is it possible to make this plugin work with the menubar of this theme? If not, can I replicate such animations by editing a file within the theme?

Thanks a lot!

See this plugin;
https://nl.wordpress.org/plugins/easy-smooth-scroll-links/

You can mod the scroll animation options in your js/common.js :

smoothScroll.init({
		selector: '[rel="smooth_scroll"]',
		selectorHeader: '#header.sticky_header', // Selector for fixed headers
		speed: 500, 
		easing: 'easeInOutQuart',
		updateURL: false,
		offset: 0,
	});

I tried to change the values but nothing did happen. So I went back to the plugin Easy Smooth Scroll Links to uninstall, but suddenly the plugin works for the entire theme.

I also had some issues with the offset for the header and pages, but this has been solved by a custom offset which can be set by the plugin.

So for people who have the same issue with the header, this could be a easy fix