"Menu" class for navigation

Hello,
I recently developed a theme which is in the theme repository – Liquorice – and have some questions regarding the navigation styling.
I used class=”menu” to style the navigation with three levels of drop-down menus but realize now that it is not applied in the same way by WordPress depending on how the nav is created.

Default nav – without Menu editor:

<div class="menu">
<ul>
<li><a title="#">About</a></li>
</ul>
</div>

Created with menu editor :

<div>
<ul class="menu">
<li><a href="#">About</a></li>
</ul>
</div>

Can anyone tell me if this is how it should be? I’m wary of fixing the style but then creating problems for a whole new set of theme users.

Thanks!