Name of plugun wpmudev uses on home page?

On the WPMUDEV home page under “The only place you are going to find great Multisite themes…” and then below that, “Meet our developers, designers …” What is the plugin that creates the very cool rollovers?

Thanks,

Paul