When you create a menu using Webstyle 4 the files are exported as images. They can be jpg or gif or png depending on your selection. There is also a javascript file which places the images on your page as needed for mouse off and mouse over conditions.