The jQuery.mmenu-plugin provides a few options for customizing your menu. The default option values can be overridden by passing new values to the method.

$("#nav").mmenu({
   // options go here...
});

Click the menu-button in the header to open the menu and have a look at the options.