If I recall, it's easy to just export an SVG as a PNG or other bitmap format. This might be something I fiddle with on the weekend, but I digress. My first instinct is to open the inspector, and I find in the style editor (at least that's what firefox calls it, just the CSS) it looks like inline style sheet #2 has the jiggle animation when opening the navlinks, as well as some of the info about the navlinks class. My go-to would be to copy some of those entries and play with them, see how close I can get to the reference. It's how I rebuilt my page, I used vertpush as a reference to get the basics down