sanitize_html_class for $nav_id

sanitize_html_class is better than esc_attr, since sanitize_html_class strips the string down to A-Z,a-z,0-9,_,-, string allowed for id/class attributes.
http://codex.wordpress.org/Function_Reference/sanitize_html_class