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.