Plug-in to add a pull-out navigation menu to WordPress